default search action
13th TAP@FM 2019: Porto, Portugal
- 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
Invited Contributions
- Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
When Are Software Verification Results Valid for Approximate Hardware? 3-20 - Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru:
Testing Robots Using CSP. 21-38
Regular Contributions
- Timotej Kapus, Martin Nowack, Cristian Cadar:
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers? 41-54 - Eric Lavillonnière, David Mentré, Denis Cousineau:
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. 55-63 - Petra van den Bos, Jan Tretmans:
Coverage-Based Testing with Symbolic Transition Systems. 64-82 - 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. 83-92 - Bernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm:
Predicting and Testing Latencies with Deep Learning: An IoT Case Study. 93-111 - Alexandre Petrenko, Florent Avellaneda:
Learning Communicating State Machines. 112-128 - Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. 129-146 - Aurélie Hurault, Philippe Quéinnec:
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. 147-166 - Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall:
Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. 167-185 - Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti:
Property-Based Test Case Generators for Free. 186-206
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.