| 2018 | Formalizing (Web) Standards - An Application of Test and Proof. | Achim D. Brucker, Michael Herzberg |
| 2018 | Static and Dynamic Verification of Relational Properties on Self-composed C Code. | Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prevosto, Guillaume Petiot |
| 2018 | An Approximation-Based Approach for the Random Exploration of Large Models. | Julien Bernard, Pierre-Cyrille Ham, Olga Kouchnarenko |
| 2018 | Tests from Witnesses - Execution-Based Validation of Verification Results. | Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig |
| 2017 | Testing a Saturation-Based Theorem Prover: Experiences and Challenges. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2017 | WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions. | Afef Jmal Malej, Moez Krichen, Mohamed Jmael |
| 2017 | Test Suite Reduction in Idempotence Testing of Infrastructure as Code. | Katsuhiko Ikeshita, Fuyuki Ishikawa, Shinichi Honiden |
| 2017 | Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. | Martin Gogolla, Frank Hilken, Khanh-Hoang Doan, Nisha Desai |
| 2017 | Model-Based Testing of Probabilistic Systems with Stochastic Time. | Marcus Gerhold, Marille Stoelinga |
| 2017 | Unit Testing of Database-Driven Java Enterprise Edition Applications. | Andreas Fuchs, Herbert Kuchen |
| 2017 | Skolem Function Continuation for Quantified Boolean Formulas. | Katalin Fazekas, Marijn J. H. Heule, Martina Seidl, Armin Biere |
| 2017 | Abstraction Refinement for the Analysis of Software Product Lines. | Ferruccio Damiani, Reiner Hhnle, Michael Lienhardt |
| 2017 | Symbolic Execution of Transition Systems with Function Summaries. | Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prevosto |
| 2017 | Hybrid Information Flow Analysis for Real-World C Code. | Gerg Barany, Julien Signoles |
| 2016 | Debugging Meets Testing in Erlang. | Salvador Tamarit, Adrin Riesco, Enrique Martin-Martin, Rafael Caballero |
| 2016 | Automatic Predicate Testing in Formal Certification - You've only Proven What You've Said, Not What You Meant! | Franck Slama |
| 2016 | Using Formal Methods for Verification and Validation in Railway. | Klaus Reichl, Tomas Fischer, Peter Tummeltshammer |
| 2016 | Classifying Bugs with Interpolants. | Andreas Podelski, Martin Schf, Thomas Wies |
| 2016 | Your Proof Fails? Testing Helps to Find the Reason. | Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand |
| 2016 | Combining Dynamic and Static Analysis to Help Develop Correct Graph Transformations. | Amani Makhlouf, Hanh Nhi Tran, Christian Percebois, Martin Strecker |
| 2016 | Testing-Based Formal Verification for Theorems and Its Application in Software Specification Verification. | Shaoying Liu |
| 2016 | Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers. | Sebastian Gabmeyer, Martina Seidl |
| 2016 | Classifying Test Suite Effectiveness via Model Inference and ROBBDs. | Hermann Felbinger, Ingo Pill, Franz Wotawa |
| 2016 | Tests and Proofs for Enumerative Combinatorics. | Catherine Dubois, Alain Giorgetti, Richard Genestier |
| 2016 | Advances in Property-Based Testing for \alpha Prolog. | James Cheney, Alberto Momigliano, Matteo Pessina |