Tests and Proofs

5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings

Martin Gogolla, Burkhart Wolff (Herausgeber)

Buch | Softcover

X, 205 Seiten

2011 | 2011
Springer Berlin (Verlag)
978-3-642-21767-8 (ISBN)

Infos

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.

Produkt-Details

• Erscheint lt. Verlag: 22.6.2011
• Reihe/Serie: Lecture Notes in Computer Science
• Reihe/Serie: 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
• Themenwelt: 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