- Hojat Khosrowjerdi, Hamed Nemati
, Karl Meinke:
Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. TAP@STAF 2020: 59-79 - Tomás Kolárik
, Stefan Ratschan
:
SAT Modulo Differential Equation Simulations. TAP@STAF 2020: 80-99 - Martin Mariusz Lester
:
ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. TAP@STAF 2020: 169-179 - Dara Ly, Nikolai Kosmatov
, Frédéric Loulergue
, Julien Signoles
:
Verified Runtime Assertion Checking for Memory Properties. TAP@STAF 2020: 100-121 - Paolo Masci, César A. Muñoz:
A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. TAP@STAF 2020: 155-166 - João Carlos Pereira
, Nuno Machado
, Jorge Sousa Pinto
:
Testing for Race Conditions in Distributed Systems via SMT Solving. TAP@STAF 2020: 122-140 - Wolfgang Ahrendt
, Heike Wehrheim
:
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12165, Springer 2020, ISBN 978-3-030-50994-1 [contents] - 2019
- Tobias Isenberg, Marie-Christine Jakobs
, Felix Pauck, Heike Wehrheim:
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM 2019: 3-20 - Bernhard K. Aichernig, Franz Pernkopf
, Richard Schumi, Andreas Wurm:
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. TAP@FM 2019: 93-111 - Étienne André
, Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019: 129-146 - Emanuele De Angelis
, Fabio Fioravanti
, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Property-Based Test Case Generators for Free. TAP@FM 2019: 186-206 - Petra van den Bos, Jan Tretmans:
Coverage-Based Testing with Symbolic Transition Systems. TAP@FM 2019: 64-82 - Ana Cavalcanti
, James Baxter
, Robert M. Hierons
, Raluca Lefticaru
:
Testing Robots Using CSP. TAP@FM 2019: 21-38 - Aurélie Hurault, Philippe Quéinnec:
Proving a Non-blocking Algorithm for Process Renaming with TLA + +. TAP@FM 2019: 147-166 - Timotej Kapus
, Martin Nowack
, Cristian Cadar
:
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? TAP@FM 2019: 41-54 - Eric Lavillonnière, David Mentré, Denis Cousineau:
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. TAP@FM 2019: 55-63 - Diego de Azevedo Oliveira, Valério Medeiros Jr.
, David Déharbe, Martin A. Musicante
:
BTestBox: A Tool for Testing B Translators and Coverage of B Models. TAP@FM 2019: 83-92 - Alexandre Petrenko
, Florent Avellaneda:
Learning Communicating State Machines. TAP@FM 2019: 112-128 - Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall
:
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. TAP@FM 2019: 167-185 - Dirk Beyer, Chantal Keller:
Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings. Lecture Notes in Computer Science 11823, Springer 2019, ISBN 978-3-030-31156-8 [contents] - 2018
- Dirk Beyer
, Matthias Dangl
, Thomas Lemberger
, Michael Tautschnig
:
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF 2018: 3-23 - Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
:
An Approximation-Based Approach for the Random Exploration of Large Models. TAP@STAF 2018: 27-43 - Lionel Blatter, Nikolai Kosmatov
, Pascale Le Gall, Virgile Prevosto
, Guillaume Petiot:
Static and Dynamic Verification of Relational Properties on Self-composed C Code. TAP@STAF 2018: 44-62 - Achim D. Brucker
, Michael Herzberg
:
Formalizing (Web) Standards - An Application of Test and Proof. TAP@STAF 2018: 159-166 - Andreas Fuchs:
Automated Test Case Generation for Java EE Based Web Applications. TAP@STAF 2018: 167-176 - Mihai Herda
, Shmuel S. Tyszberowicz, Bernhard Beckert
:
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF 2018: 83-102 - Jacques Julliand, Olga Kouchnarenko
, Pierre-Alain Masson, Guillaume Voiron:
Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF 2018: 63-82 - Chantal Keller:
Tactic Program-Based Testing and Bounded Verification in Isabelle/HOL. TAP@STAF 2018: 103-119 - Viet Hoang Le, Loïc Correnson, Julien Signoles
, Virginie Wiels:
Verification Coverage for Combining Test and Proof. TAP@STAF 2018: 120-138 - Frédéric Loulergue
, Allan Blanchard, Nikolai Kosmatov
:
Ghosts for Lists: From Axiomatic to Executable Specifications. TAP@STAF 2018: 177-184