Tests and Proofs

5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings

  • Martin Gogolla
  • Burkhart Wolff

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6706)

Table of contents

  1. Front Matter
  2. Patrice Godefroid
    Pages 14-14
  3. Nazareno M. Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti
    Pages 15-32
  4. Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
    Pages 51-68
  5. Matthias Büchler, Johan Oudinet, Alexander Pretschner
    Pages 69-77
  6. Omar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
    Pages 78-83
  7. Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo Frias
    Pages 84-101
  8. Claire Dross, Jean-Christophe Filliâtre, Yannick Moy
    Pages 102-118
  9. Pierre-Cyrille Héam, Catherine Masson
    Pages 119-133
  10. Karl Meinke, Muddassar A. Sindhu
    Pages 134-151
  11. Mathias Soeken, Robert Wille, Rolf Drechsler
    Pages 152-170
  12. Javier Troya, José M. Bautista, Fernando López-Romero, Antonio Vallecillo
    Pages 187-204
  13. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 5th International Conference on Test 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.


formal methods formal testing program correctness program verification reactive systems safety-critical applications systems reliability

Editors and affiliations

  • Martin Gogolla
    • 1
  • Burkhart Wolff
    • 2
  1. 1.Fachbereich Mathematik/InformatikUniversität BremenBremenGermany
  2. 2.Université Paris-Sud 11, Parc Club Orsay Université, ZAC des vignesOrsay CedexFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-21768-5
  • Copyright Information Springer-Verlag GmbH Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-21767-8
  • Online ISBN 978-3-642-21768-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book