Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
1st Edition
Published on 22. June 2011
Book
Paperback/Softback
X, 205 pages
978-3-642-21767-8 (ISBN)
Description
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.
More details
Series
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
28 s/w Abbildungen, 20 farbige Abbildungen
X, 205 p. 48 illus., 20 illus. in color.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
335 gr
ISBN-13
978-3-642-21767-8 (9783642217678)
DOI
10.1007/978-3-642-21768-5
Schweitzer Classification
Other editions
Additional editions
Martin Gogolla | Burkhart Wolff
Tests and Proofs
5th International Conference, TAP 2011, Zürich, Switzerland, June 30 - July 1, 2011, Proceedings
E-Book
06/2011
Springer
€53.49
Available for download