Abstract is missing.
- Benchmarking Combinations of Learning and Testing Algorithms for Active Automata LearningBernhard K. Aichernig, Martin Tappler, Felix Wallner. 3-22 [doi]
- Mutation Testing of Smart Contracts at ScalePieter H. Hartel, Richard Schumi. 23-42 [doi]
- Deductive Binary Code Verification Against Source-Code-Level SpecificationsAlexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro. 43-58 [doi]
- Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph QueriesHojat Khosrowjerdi, Hamed Nemati, Karl Meinke. 59-79 [doi]
- SAT Modulo Differential Equation SimulationsTomás Kolárik, Stefan Ratschan. 80-99 [doi]
- Verified Runtime Assertion Checking for Memory PropertiesDara Ly, Nikolai Kosmatov, Frédéric Loulergue, Julien Signoles. 100-121 [doi]
- Testing for Race Conditions in Distributed Systems via SMT SolvingJoão Carlos Pereira, Nuno Machado, Jorge Sousa Pinto. 122-140 [doi]
- sasa: A SimulAtor of Self-stabilizing AlgorithmsKarine Altisen, Stéphane Devismes, Erwan Jahier. 143-154 [doi]
- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid SystemsPaolo Masci, César A. Muñoz. 155-166 [doi]
- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction GamesMartin Mariusz Lester. 169-179 [doi]