Tests and Proofs

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

  • Bernhard K. Aichernig
  • Carlo A. Furia

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

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

Table of contents

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

    1. Front Matter
      Pages 1-1
    2. Klaus Reichl, Tomas Fischer, Peter Tummeltshammer
      Pages 3-13
  3. Regular Contributions

    1. Front Matter
      Pages 15-15
    2. Achim D. Brucker, Burkhart Wolff
      Pages 17-36
    3. James Cheney, Alberto Momigliano, Matteo Pessina
      Pages 37-56
    4. Catherine Dubois, Alain Giorgetti, Richard Genestier
      Pages 57-75
    5. Hermann Felbinger, Ingo Pill, Franz Wotawa
      Pages 76-93
    6. Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
      Pages 130-150
    7. Andreas Podelski, Martin Schäf, Thomas Wies
      Pages 151-168
  4. Tool Demonstration

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

    1. Front Matter
      Pages 181-181
    2. Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
      Pages 183-190
  6. Back Matter
    Pages 199-199

About these proceedings

Introduction

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.

Keywords

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

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

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-41135-4
  • 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
  • About this book