Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
Seiten
2011
|
2011
Springer Berlin (Verlag)
978-3-642-21767-8 (ISBN)
Springer Berlin (Verlag)
978-3-642-21767-8 (ISBN)
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.
| Erscheint lt. Verlag | 22.6.2011 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | X, 205 p. 48 illus., 20 illus. in color. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | formal methods • formal testing • program correctness • Program verification • Reactive Systems • safety-critical applications • systems reliability |
| ISBN-10 | 3-642-21767-2 / 3642217672 |
| ISBN-13 | 978-3-642-21767-8 / 9783642217678 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
a beginner's guide to learning llvm compiler tools and core …
Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
49,85 €
