Merkzettel Warenkorb
  • Produktbild: Tests and Proofs
  • Produktbild: Tests and Proofs

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

Aus der Reihe Programming and Software Engineering

46,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.2013

Abbildungen

X, 50 illus., schwarz-weiss Illustrationen

Herausgeber

Margus Veanes + weitere

Verlag

Springer Berlin

Seitenzahl

233

Maße (L/B/H)

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

Gewicht

377 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38915-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

07.06.2013

Abbildungen

X, 50 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

233

Maße (L/B/H)

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

Gewicht

377 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-38915-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

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.