© 2020

Tests and Proofs

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

  • Wolfgang Ahrendt
  • Heike Wehrheim
Conference proceedings TAP 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Regular Research Papers

    1. Front Matter
      Pages 1-1
    2. Bernhard K. Aichernig, Martin Tappler, Felix Wallner
      Pages 3-22
    3. Pieter Hartel, Richard Schumi
      Pages 23-42
    4. Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro
      Pages 43-58
    5. Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke
      Pages 59-79
    6. Tomáš Kolárik, Stefan Ratschan
      Pages 80-99
    7. Dara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles
      Pages 100-121
    8. João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto
      Pages 122-140
  3. Tool Demonstration Papers

    1. Front Matter
      Pages 141-141
    2. Karine Altisen, Stéphane Devismes, Erwan Jahier
      Pages 143-154
  4. Short Paper

    1. Front Matter
      Pages 167-167
  5. Back Matter
    Pages 181-181

About these proceedings


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.


computer aided software engineering computer programming formal logic model checking problem solving programming languages artificial intelligence semantics software engineering software evaluation specifications symbolic execution theorem proving artificial intelligence computer hardware computer systems engineering mathematics software design software quality

Editors and affiliations

  1. 1.Chalmers University of TechnologyGothenburgSweden
  2. 2.Paderborn UniversityPaderbornGermany

Bibliographic information