• Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs
Band 7942

Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

47,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.2013

Abbildungen

X, 233 p. 50 illus.

Herausgeber

Margus Veanes + weitere

Verlag

Springer Berlin

Seitenzahl

233

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

376 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38915-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.2013

Abbildungen

X, 233 p. 50 illus.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

233

Maße (L/B/H)

23,5/15,5/1,4 cm

Gewicht

376 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38915-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs

  • Incremental Refinement Checking for Test Case Generation.- Time for Mutants — Model-Based Mutation Testing with Timed Automata.- Model-Based Testing for Verification Back-Ends.- A Metric for Testing Program Verification Systems.- Test Program Generation for a Microprocessor: A Case-Study.- A Declarative Debugger for Sequential Erlang Programs.- Initiating a Benchmark for UML and OCL Analysis Tools.- Speeding Up Algorithmic Debugging Using Balanced Execution Trees.- Generating Test Suites with Augmented Dynamic Symbolic Execution.- Divergent Quiescent Transition Systems.