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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!