Skip to main content
SpringerLink
Log in
Book cover

Tests and Proofs

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

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Bernhard K. Aichernig

    1. Graz University of Technology, Graz, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Carlo A. Furia

    1. Chalmers University of Technology, Göteborg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: TAP 2016.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Contribution

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    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
      Download chapter PDF

    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. Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers

      • Sebastian Gabmeyer, Martina Seidl
      Pages 94-111

    7. Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification

      • Shaoying Liu
      Pages 112-129

    8. Your Proof Fails? Testing Helps to Find the Reason

      • Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand
      Pages 130-150

    9. Classifying Bugs with Interpolants

      • Andreas Podelski, Martin Schäf, Thomas Wies
      Pages 151-168

  4. Tool Demonstration

    1. Front Matter

      Pages 169-169
      Download chapter PDF

    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
      Download chapter PDF

    2. Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations

      • Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker
      Pages 183-190

    3. Automatic Predicate Testing in Formal Certification

      • Franck Slama
      Pages 191-198

  6. Back Matter

    Pages 199-199
    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Keywords

About this book

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.

Editors and Affiliations

  • Graz University of Technology, Graz, Austria

    Bernhard K. Aichernig

  • Chalmers University of Technology, Göteborg, Sweden

    Carlo A. Furia

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation