Skip to main content
SpringerLink
Log in

Tests and Proofs

11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Sebastian Gabmeyer

    1. Technical University of Darmstadt, Darmstadt, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Einar Broch Johnsen

    1. University of Oslo, Oslo, Norway

    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 10375)

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

Included in the following conference series:

Conference proceedings info: TAP 2017.

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 (10 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Invited Contribution

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Abstraction Refinement for the Analysis of Software Product Lines

      • Ferruccio Damiani, Reiner Hähnle, Michael Lienhardt
      Pages 3-20

  3. Regular Contributions

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Hybrid Information Flow Analysis for Real-World C Code

      • Gergö Barany, Julien Signoles
      Pages 23-40

    3. Symbolic Execution of Transition Systems with Function Summaries

      • Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto
      Pages 41-58

    4. Unit Testing of Database-Driven Java Enterprise Edition Applications

      • Andreas Fuchs, Herbert Kuchen
      Pages 59-76

    5. Model-Based Testing of Probabilistic Systems with Stochastic Time

      • Marcus Gerhold, Mariëlle Stoelinga
      Pages 77-97

    6. Test Suite Reduction in Idempotence Testing of Infrastructure as Code

      • Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden
      Pages 98-115

  4. Short Contributions and Tool Demonstrations

    1. Front Matter

      Pages 117-117
      Download chapter PDF

    2. Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms

      • Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai
      Pages 119-128

    3. Skolem Function Continuation for Quantified Boolean Formulas

      • Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere
      Pages 129-138

    4. WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions

      • Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel
      Pages 139-151

    5. Testing a Saturation-Based Theorem Prover: Experiences and Challenges

      • Giles Reger, Martin Suda, Andrei Voronkov
      Pages 152-161

  5. Back Matter

    Pages 163-163
    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Conference on Tests and Proofs, TAP 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017.

The 9 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 16 submissions. 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

  • Technical University of Darmstadt, Darmstadt, Germany

    Sebastian Gabmeyer

  • University of Oslo, Oslo, Norway

    Einar Broch Johnsen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation