© 2013

Tests and Proofs

7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings

  • Margus Veanes
  • Luca Viganò
Conference proceedings TAP 2013

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

Table of contents

  1. Front Matter
  2. Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele
    Pages 1-19
  3. Bernhard K. Aichernig, Florian Lorber, Dejan Ničković
    Pages 20-38
  4. Cyrille Artho, Armin Biere, Martina Seidl
    Pages 39-55
  5. Bernhard Beckert, Thorsten Bormer, Markus Wagner
    Pages 56-75
  6. Achim D. Brucker, Abderrahmane Feliachi, Yakoub Nemouchi, Burkhart Wolff
    Pages 76-95
  7. Rafael Caballero, Enrique Martin-Martin, Adrián Riesco, Salvador Tamarit
    Pages 96-114
  8. Martin Gogolla, Fabian Büttner, Jordi Cabot
    Pages 115-132
  9. David Insa, Josep Silva, Adrián Riesco
    Pages 133-151
  10. Konrad Jamrozik, Gordon Fraser, Nikolai Tillman, Jonathan de Halleux
    Pages 152-167
  11. Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
    Pages 168-177
  12. Johan Oudinet, Alberto Calvi, Matthias Büchler
    Pages 178-196
  13. Daniel Pötzl, Andreas Holzer
    Pages 197-213
  14. Willem G. J. Stokkink, Mark Timmer, Mariëlle I. A. Stoelinga
    Pages 214-231
  15. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Test and Proofs, TAP 2013, held in Budapest, Hungary, in June 2013, as part of the STAF 2013 Federated Conferences. The 12 revised full papers presented together with one tutorial were carefully reviewed and selected from 24 submissions. The papers are devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination for the advancement of software quality. The papers are related to the following topics: test generation; model-based testing and mutants; declarative debugging; and tool testing.


constraint solving model-based testing search-based testing test program generation unit testing

Editors and affiliations

  • Margus Veanes
    • 1
  • Luca Viganò
    • 2
  1. 1.Microsoft ResearchRedmondUSA
  2. 2.Università di VeronaVeronaItaly

Bibliographic information