| 2023 | Vamos: Middleware for Best-Effort Third-Party Monitoring. | Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger |
| 2023 | ACoRe: Automated Goal-Conflict Resolution. | Luiz Carvalho, Renzo Degiovanni, Matas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. | Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina |
| 2023 | Software Testing: 5th Comparative Evaluation: Test-Comp 2023. | Dirk Beyer |
| 2023 | Model-based Player Experience Testing with Emotion Pattern Verification. | Saba Gholizadeh Ansari, I. S. W. B. Prasetya, Davide Prandi, Fitsum Meshesha Kifetew, Mehdi Dastani, Frank Dignum, Gabriele Keller |
| 2023 | FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution). | Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro |
| 2022 | QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. | Hao Wu |
| 2022 | Semantic Clone Detection via Probabilistic Software Modeling. | Hannes Thaller, Lukas Linsbauer, Alexander Egyed |
| 2022 | An Institutional Approach to Communicating UML State Machines. | Tobias Rosenberger, Alexander Knapp, Markus Roggenbach |
| 2022 | SMT-Based Planning Synthesis for Distributed System Reconfigurations. | Simon Robillard, Hlne Coullon |
| 2022 | AequeVox: Automated Fairness Testing of Speech Recognition Systems. | Sai Sathiesh Rajan, Sakshi Udeshi, Sudipta Chattopadhyay |
| 2022 | Semantic Code Search in Software Repositories using Neural Machine Translation. | Evangelos Papathomas, Themistoklis Diamantopoulos, Andreas L. Symeonidis |
| 2022 | VeriFuzz: Good Seeds for Fuzzing (Competition Contribution). | Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar |
| 2022 | PEQtest: Testing Functional Equivalence. | Marie-Christine Jakobs, Maik Wiesner |
| 2022 | Symbolic Predictive Cache Analysis for Out-of-Order Execution. | Zunchen Huang, Chao Wang |
| 2022 | SMC4PEP: Stochastic Model Checking of Product Engineering Processes. | Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill |
| 2022 | Finding Semantic Bugs Fast. | Lukas Grtz, Reiner Hhnle, Richard Bubel |
| 2022 | SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning. | Saikat Dutta, Zixin Huang, Sasa Misailovic |
| 2022 | Quantitative Program Sketching using Lifted Static Analysis. | Aleksandar S. Dimovski |
| 2022 | Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing. | Liqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang |
| 2022 | On the Detection of Doped Software by Falsification. | Sebastian Biewer, Holger Hermanns |
| 2022 | Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. | Dirk Beyer, Sudeep Kanav, Cedric Richter |
| 2022 | Advances in Automatic Software Testing: Test-Comp 2022. | Dirk Beyer |
| 2022 | A Survey-driven Feature Model for Software Traceability Approaches. | Edouard R. Batot, Sbastien Grard, Jordi Cabot |
| 2022 | Information-flow Interfaces. | Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |