Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Dirk Beyer

    1. Ludwig-Maximilians-Universität München, Munich, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Chantal Keller

    1. University of Paris-Sud, Orsay, France

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

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

Included in the following conference series:

Conference proceedings info: TAP 2019.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019.
The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 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.

Similar content being viewed by others

Keywords

Table of contents (12 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Invited Contributions

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. When Are Software Verification Results Valid for Approximate Hardware?

      • Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
      Pages 3-20

    3. Testing Robots Using CSP

      • Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
      Pages 21-38

  3. Regular Contributions

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?

      • Timotej Kapus, Martin Nowack, Cristian Cadar
      Pages 41-54

    3. Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods

      • Eric Lavillonnière, David Mentré, Denis Cousineau
      Pages 55-63

    4. Coverage-Based Testing with Symbolic Transition Systems

      • Petra van den Bos, Jan Tretmans
      Pages 64-82

    5. BTestBox: A Tool for Testing B Translators and Coverage of B Models

      • Diego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante
      Pages 83-92

    6. Predicting and Testing Latencies with Deep Learning: An IoT Case Study

      • Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm
      Pages 93-111

    7. Learning Communicating State Machines

      • Alexandre Petrenko, Florent Avellaneda
      Pages 112-128

    8. Repairing Timed Automata Clock Guards through Abstraction and Testing

      • Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
      Pages 129-146

    9. Proving a Non-blocking Algorithm for Process Renaming with TLA\(^+\)

      • Aurélie Hurault, Philippe Quéinnec
      Pages 147-166

    10. Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties

      • Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
      Pages 167-185

    11. Property-Based Test Case Generators for Free

      • Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
      Pages 186-206

  4. Back Matter

    Pages 207-207
    Download chapter PDF
Back to top

Other volumes

  1. Tests and Proofs

Editors and Affiliations

  • Ludwig-Maximilians-Universität München, Munich, Germany

    Dirk Beyer

  • University of Paris-Sud, Orsay, France

    Chantal Keller

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation