Band 7942
Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
Aus der Reihe
Programming and Software Engineering
-
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
Fr. 69.90
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
07.06.2013
Abbildungen
X, 233 p. 50 illus.
Herausgeber
Margus Veanes + weitereVerlag
Springer BerlinSeitenzahl
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
This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.