© 2014

Tests and Proofs

8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings

  • Martina Seidl
  • Nikolai Tillmann
Conference proceedings TAP 2014

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

Table of contents

  1. Front Matter
  2. Bernhard K. Aichernig, Jakob Auer, Elisabeth Jöbstl, Robert Korošec, Willibald Krenn, Rupert Schlick et al.
    Pages 1-19
  3. Nada Amin, K. Rustan M. Leino, Tiark Rompf
    Pages 20-35
  4. Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
    Pages 36-52
  5. Sébastien Bardin, Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
    Pages 53-60
  6. Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Rolf Drechsler
    Pages 61-77
  7. Sebastian Gabmeyer
    Pages 78-81
  8. Martin Hentschel, Reiner Hähnle, Richard Bubel
    Pages 82-98
  9. Frank Hilken, Philipp Niemann, Martin Gogolla, Robert Wille
    Pages 99-116
  10. Ali Jannesari, Nico Koprowski, Jochen Schimmel, Felix Wolf
    Pages 117-133
  11. Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller
    Pages 134-141
  12. Johannes Kanig, Rod Chapman, Cyrille Comar, Jerôme Guitton, Yannick Moy, Emyr Rees
    Pages 142-157
  13. Nikolai Kosmatov, Matthieu Lemerre, Céline Alec
    Pages 158-164
  14. Felix Kurth, Sibylle Schupp, Stephan Weißleder
    Pages 169-186
  15. Guillaume Petiot, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand
    Pages 204-211
  16. Back Matter

About these proceedings


This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were carefully reviewed and selected from 27 submissions. The papers cover topics in the following four research areas: test generation, bridging semantic gaps, integrated development processes and bounded verification.


UML assertion checking formal methods program analysis program verification software testing and debugging specification languages static analysis

Editors and affiliations

  • Martina Seidl
    • 1
  • Nikolai Tillmann
    • 2
  1. 1.Institute for Formal Models and VerificationJohannes Kepler UniversityLinzAustria
  2. 2.One Microsoft WayMicrosoft ResearchRedmondUSA

Bibliographic information