| 2022 | Reach on Register Automata via History Independence. | Simon Dierl, Falk Howar |
| 2021 | Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu |
| 2021 | Use Case Testing: A Constrained Active Machine Learning Approach. | Karl Meinke, Hojat Khosrowjerdi |
| 2021 | Architecture-Guided Test Resource Allocation via Logic. | Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
| 2021 | Generating Timed UI Tests from Counterexamples. | Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer |
| 2021 | A Benchmarks Library for Extended Parametric Timed Automata. | tienne Andr, Dylan Marinho, Jaco van de Pol |
| 2021 | FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs. | Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro |
| 2020 | Testing for Race Conditions in Distributed Systems via SMT Solving. | Joo Carlos Pereira, Nuno Machado, Jorge Sousa Pinto |
| 2020 | A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems. | Paolo Masci, Csar A. Muoz |
| 2020 | Verified Runtime Assertion Checking for Memory Properties. | Dara Ly, Nikolai Kosmatov, Frdric Loulergue, Julien Signoles |
| 2020 | ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. | Martin Mariusz Lester |
| 2020 | SAT Modulo Differential Equation Simulations. | Toms Kolrik, Stefan Ratschan |
| 2020 | Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries. | Hojat Khosrowjerdi, Hamed Nemati, Karl Meinke |
| 2020 | Deductive Binary Code Verification Against Source-Code-Level Specifications. | Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro |
| 2020 | Mutation Testing of Smart Contracts at Scale. | Pieter H. Hartel, Richard Schumi |
| 2020 | sasa: A SimulAtor of Self-stabilizing Algorithms. | Karine Altisen, Stphane Devismes, Erwan Jahier |
| 2020 | Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning. | Bernhard K. Aichernig, Martin Tappler, Felix Wallner |
| 2019 | A Dynamic Logic for QASM Programs. | Carlos Tavares |
| 2019 | The Trace Modality. | Dominic Steinhfel, Reiner Hhnle |
| 2019 | Bringing Belief Base Change into Dynamic Epistemic Logic. | Marlo Souza, lvaro F. Moreira |
| 2019 | A Logical Analysis of the Interplay Between Social Influence and Friendship Selection. | Sonja Smets, Fernando R. Velzquez-Quesada |
| 2019 | Iterative Division in the Distributive Full Non-associative Lambek Calculus. | Igor Sedlr |
| 2019 | Tame Your Annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. | Virgile Robles, Nikolai Kosmatov, Virgile Prevosto, Louis Rilling, Pascale Le Gall |
| 2019 | Persuasive Argumentation and Epistemic Attitudes. | Carlo Proietti, Antonio Yuste-Ginel |
| 2019 | Learning Communicating State Machines. | Alexandre Petrenko, Florent Avellaneda |