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

Introduction

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.

Keywords

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