Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.
The 12 revised full papers presented together with 2 invited papers were carefully reviewed...
Leider schon ausverkauft
versandkostenfrei
Buch
65.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Tests and Proofs “
Klappentext zu „Tests and Proofs “
This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.
The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.
Bibliographische Angaben
- 2011, 2011., 205 Seiten, mit farbigen Abbildungen, Maße: 15,7 x 23,9 cm, Kartoniert (TB), Englisch
- Herausgegeben von Gogolla, Martin; Wolff, Burkhart
- Herausgegeben: Martin Gogolla, Burkhart Wolff
- Verlag: Springer
- ISBN-10: 3642217672
- ISBN-13: 9783642217678
Sprache:
Englisch
Kommentar zu "Tests and Proofs"
Schreiben Sie einen Kommentar zu "Tests and Proofs".
Kommentar verfassen