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

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 werecarefully reviewed and selected from 27 submissions. Among the topics coveredare 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. up-to-date results. fast track conference proceedings. state-of-the-art report.

• ISBN: 978-3-642-21767-8
• Editorial: Springer Berlin Heidelberg
• Encuadernacion: Rústica
• Páginas: 205
• Fecha Publicación: 22/06/2011
• Nº Volúmenes: 1
• Idioma: Inglés