TAP@FM

Publications

2019

Alexandre Petrenko, Florent Avellaneda
Learning Communicating State Machines. TAP@FM (2019)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM (2019)
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)
Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. TAP@FM (2019)
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti
Property-Based Test Case Generators for Free. TAP@FM (2019)
Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM (2019)
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)
Timotej Kapus, Martin Nowack, Cristian Cadar
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? TAP@FM (2019)
Aurélie Hurault, Philippe Quéinnec
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. TAP@FM (2019)
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
Testing Robots Using CSP. TAP@FM (2019)
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)
Petra van den Bos, Jan Tretmans
Coverage-Based Testing with Symbolic Transition Systems. TAP@FM (2019)

volume 11823, 2019

Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings TAP@FM 11823 (2019)