Skip to main content
SpringerLink
Log in

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Wolfgang Ahrendt

    1. Chalmers University of Technology, Gothenburg, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Heike Wehrheim

    1. Paderborn University, Paderborn, Germany

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

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

Included in the following conference series:

Conference proceedings info: TAP 2020.

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

  2. Regular Research Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning

      • Bernhard K. Aichernig, Martin Tappler, Felix Wallner
      Pages 3-22

    3. Mutation Testing of Smart Contracts at Scale

      • Pieter Hartel, Richard Schumi
      Pages 23-42

    4. Deductive Binary Code Verification Against Source-Code-Level Specifications

      • Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro
      Pages 43-58

    5. Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries

      • Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke
      Pages 59-79

    6. SAT Modulo Differential Equation Simulations

      • Tomáš Kolárik, Stefan Ratschan
      Pages 80-99

    7. Verified Runtime Assertion Checking for Memory Properties

      • Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles
      Pages 100-121

    8. Testing for Race Conditions in Distributed Systems via SMT Solving

      • João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto
      Pages 122-140

  3. Tool Demonstration Papers

    1. Front Matter

      Pages 141-141
      Download chapter PDF

    2. sasa: A SimulAtor of Self-stabilizing Algorithms

      • Karine Altisen, Stéphane Devismes, Erwan Jahier
      Pages 143-154

    3. A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems

      • Paolo Masci, César A. Muñoz
      Pages 155-166

  4. Short Paper

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games

      • Martin Mariusz Lester
      Pages 169-179

  5. Back Matter

    Pages 181-181
    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Keywords

About this book

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020.

The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 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

  • Chalmers University of Technology, Gothenburg, Sweden

    Wolfgang Ahrendt

  • Paderborn University, Paderborn, Germany

    Heike Wehrheim

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation