© 2012

Tests and Proofs

6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings

  • Achim D. Brucker
  • Jacques Julliand
Conference proceedings TAP 2012

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Research Papers

    1. Alessandro Armando, Giancarlo Pellegrino, Roberto Carbone, Alessio Merlo, Davide Balzarotti
      Pages 3-18
    2. Valeria Bengolea, Nazareno Aguirre, Darko Marinov, Marcelo F. Frias
      Pages 19-34
    3. Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb
      Pages 35-50
    4. Joseph R. Kiniry, Daniel M. Zimmerman, Ralph Hyland
      Pages 51-66
    5. Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity
      Pages 67-82
    6. Hernán Ponce de León, Stefan Haar, Delphine Longuet
      Pages 83-98
    7. Sébastien Chédor, Thierry Jéron, Christophe Morvan
      Pages 99-114
    8. Valerio Senni, Fabio Fioravanti
      Pages 115-131
    9. Martin Sulzmann, Axel Zechner
      Pages 132-148
  4. Short Papers

    1. Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits et al.
      Pages 149-155
    2. Jens Brüning, Martin Gogolla, Lars Hamann, Mirco Kuhlmann
      Pages 156-162
    3. Nadia Creignou, Uwe Egly, Martina Seidl
      Pages 163-168
    4. Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger, Omar Chebaro
      Pages 169-175
  5. Tutorials

    1. Nikolai Kosmatov, Nicky Williams
      Pages 176-176
  6. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 6th International Conference on Test and Proofs, TAP 2012, held in Prague, Czech Republic, in May/June 2012, as part of the TOOLS 2012 Federated Conferences. The 9 revised full papers presented together with 2 invited papers, 4 short papers and one tutorial were carefully reviewed and selected from 29 submissions. The papers are devoted to the convergence of tests and proofs for developing novel techniques and application that support engineers in building secure, safe, and reliable systems. Among the topics covered are model-based testing; scenario-based testing; complex data structure generation; and the validation of protocols and libraries.


model-based testing modeling online test generation regression testing structural testing

Editors and affiliations

  • Achim D. Brucker
    • 1
  • Jacques Julliand
    • 2
  1. 1.SAP ResearchKarlsruheGermany
  2. 2.LIFC UFR STBesançon CedexFrance

Bibliographic information