Abstract is missing.
- When Are Software Verification Results Valid for Approximate Hardware?Tobias Isenberg 0002, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim. 3-20 [doi]
- Testing Robots Using CSPAna Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru. 21-38 [doi]
- Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?Timotej Kapus, Martin Nowack, Cristian Cadar. 41-54 [doi]
- Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal MethodsEric Lavillonnière, David Mentré, Denis Cousineau. 55-63 [doi]
- Coverage-Based Testing with Symbolic Transition SystemsPetra van den Bos, Jan Tretmans. 64-82 [doi]
- BTestBox: A Tool for Testing B Translators and Coverage of B ModelsDiego de Azevedo Oliveira, Valério Medeiros Jr., David Déharbe, Martin A. Musicante. 83-92 [doi]
- Predicting and Testing Latencies with Deep Learning: An IoT Case StudyBernhard K. Aichernig, Franz Pernkopf, Richard Schumi, Andreas Wurm. 93-111 [doi]
- Learning Communicating State MachinesAlexandre Petrenko, Florent Avellaneda. 112-128 [doi]
- Repairing Timed Automata Clock Guards through Abstraction and TestingÉtienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli. 129-146 [doi]
- Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +Aurélie Hurault, Philippe Quéinnec. 147-166 [doi]
- Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level PropertiesVirgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall. 167-185 [doi]
- Property-Based Test Case Generators for FreeEmanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti. 186-206 [doi]