Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

  • Jasmin Christian Blanchette
  • Nikolai Kosmatov
Conference proceedings TAP 2015

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

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 9154)

Table of contents

  1. Front Matter
    Pages I-XIX
  2. Bernhard K. Aichernig, Dejan Ničković, Stefan Tiran
    Pages 1-18
  3. Konstantinos Athanasiou, Hernán Ponce-de-León, Stefan Schwoon
    Pages 19-37
  4. Geoff Birch, Bernd Fischer, Michael R. Poppleton
    Pages 38-57
  5. Roderick Bloem, Daniel Hein, Franz Röck, Richard Schumi
    Pages 58-75
  6. Anamaria M. Moreira, Cleverton Hentz, David Déharbe, Ernesto C. B. de Matos, João B. Souza Neto, Valério de Medeiros Jr.
    Pages 76-91
  7. Aaron M. Dutle, César A. Muñoz, Anthony J. Narkawicz, Ricky W. Butler
    Pages 92-108
  8. Richard Genestier, Alain Giorgetti, Guillaume Petiot
    Pages 109-128
  9. Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier
    Pages 129-136
  10. Olga Grinchtein, Mats Carlsson, Justin Pearson
    Pages 137-154
  11. Felix Hübner, Wen-ling Huang, Jan Peleska
    Pages 155-172
  12. Stefan Mijatov, Tanja Mayerhofer, Philip Langer, Gerti Kappel
    Pages 173-190
  13. Mathias Soeken, Julia Seiter, Rolf Drechsler
    Pages 191-207
  14. Back Matter
    Pages 209-209

About these proceedings


This book constitutes the refereed proceedings of the 9th International Conference on Tests and Proofs, TAP 2015, held in L` Aquila, Italy, in July 2015, as part of the STAF 2015 Federated Conferences. The 11 revised full papers and 1 short papers presented together with 3 invited talks were carefully reviewed and selected from 21 submissions. The accepted papers contribute to various testing techniques (model-based, property-based, grammar-based, bounded-exhaustive), fault localization, model-driven engineering, as well as model coverage, consistency and validation, among others. Many papers rely on interactive and automatic theorem provers, including SMT solvers and model checkers.


Class diagrams Constraint programming Deductive verification Dynamic analysis Empirical software validation Event structures Formal methods Formal software verification Formal specification Imperative program Logic and verification Model animation Model checking Model consistency Model-based testing Sequence diagrams Software testing and debugging Software verification State transition systems UML activity diagrams

Editors and affiliations

  • Jasmin Christian Blanchette
    • 1
  • Nikolai Kosmatov
    • 2
  1. 1.Inria Nancy & LORIAVillers-lès-NancyFrance
  2. 2.CEA LIST Nano-InnovSaclayFrance

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-21214-2
  • Online ISBN 978-3-319-21215-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment