Tests and Proofs

10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

  • Aichernig Bernhard K. 
  • Furia Carlo A. 
Conference proceedings TAP 2016

DOI: 10.1007/978-3-319-41135-4

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

Table of contents (12 papers)

  1. Front Matter
    Pages I-XIV
  2. Invited Contribution

    1. Front Matter
      Pages 1-1
    2. Using Formal Methods for Verification and Validation in Railway
      Klaus Reichl, Tomas Fischer, Peter Tummeltshammer
      Pages 3-13
  3. Regular Contributions

    1. Front Matter
      Pages 15-15
    2. Monadic Sequence Testing and Explicit Test-Refinements
      Achim D. Brucker, Burkhart Wolff
      Pages 17-36
    3. Advances in Property-Based Testing for \(\alpha \)Prolog
      James Cheney, Alberto Momigliano, Matteo Pessina
      Pages 37-56
    4. Tests and Proofs for Enumerative Combinatorics
      Catherine Dubois, Alain Giorgetti, Richard Genestier
      Pages 57-75
    5. Classifying Test Suite Effectiveness via Model Inference and ROBBDs
      Hermann Felbinger, Ingo Pill, Franz Wotawa
      Pages 76-93
    6. Your Proof Fails? Testing Helps to Find the Reason
      Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
      Pages 130-150
    7. Classifying Bugs with Interpolants
      Andreas Podelski, Martin Schäf, Thomas Wies
      Pages 151-168
  4. Tool Demonstration

    1. Front Matter
      Pages 169-169
    2. Debugging Meets Testing in Erlang
      Salvador Tamarit, Adrián Riesco, Enrique Martin-Martin, Rafael Caballero
      Pages 171-180
  5. Short Contributions

    1. Front Matter
      Pages 181-181
    2. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations
      Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
      Pages 183-190
  6. Back Matter
    Pages 199-199

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Tests and Proofs, TAP 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 8 full papers, 2 short papers, and 1 tool demonstration paper presented in this volume were carefully reviewed and selected from 19 submissions. The book also contains one invited talk in full-paper length. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.


formal methods machine learning model checking programming techniques verification declarative debugging formal languages Isabelle/HOL logic programming mathematical logic programming languages semantics simulation and modeling software engineering software testing static analysis symbolic execution testing theorem proving

Editors and affiliations

  • Aichernig Bernhard K. 
    • 1
  • Furia Carlo A. 
    • 2
  1. 1.Graz University of TechnologyGrazAustria
  2. 2.Chalmers University of TechnologyGöteborgSweden

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-41134-7
  • Online ISBN 978-3-319-41135-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349