| 2024 | Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack. | Yani Ziani, Nikolai Kosmatov, Frdric Loulergue, Daniel Gracia Prez |
| 2024 | Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. | Hao Wu, Thomas Flinkow, Dominique Mry |
| 2024 | Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. | Maximilian Schlter, Bernhard Steffen |
| 2024 | Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. | Malte Mues, Julian Rschoff, Ben Hermann |
| 2024 | Model-Based Testing of Quantum Computations. | Malte Lochau, Ina Schaefer |
| 2024 | Is MCDC Really Better? Lessons from Combining Tests and Proofs. | Li Huang, Bertrand Meyer, Manuel Oriol |
| 2024 | Efficient Temporal Logic Runtime Monitoring for Tiny Systems. | Rdiger Ehlers |
| 2024 | No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. | Allan Blanchard, Loc Correnson, Adel Djoudi, Nikolai Kosmatov |
| 2024 | Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. | Max Barth, Marie-Christine Jakobs |
| 2023 | Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars. | Megan Strauss, Stefan Mitsch |
| 2023 | Low-Level Reachability Analysis Based on Formal Logic. | Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran |
| 2023 | Testing a Formally Verified Compiler. | David Monniaux, Lo Gourdin, Sylvain Boulm, Olivier Lebeltel |
| 2023 | Symbolic Observation Graph-Based Generation of Test Paths. | Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jrg Desel, Hanen Ochi |
| 2023 | Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. | Aurlie Hurault, Joo Marques-Silva |
| 2023 | Proving Properties of Operation Contracts with Test Scenarios. | Martin Gogolla, Lars Hamann |
| 2023 | BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. | Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2023 | Context Specification Language for Formally Verifying Consent Properties on Models and Code. | Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
| 2023 | Testing Languages with a Languages-as-Databases Approach. | Matteo Cimini |
| 2023 | Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. | Thibaut Benjamin, Julien Signoles |
| 2022 | Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction. | Yutaka Nagashima |
| 2022 | A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. | Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari |
| 2022 | Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. | Diego Marmsoler, Achim D. Brucker |
| 2022 | Bddl: A Type System for Binary Decision Diagrams. | Yousra Lembachar, Ryan Rusich, Iulian Neamtiu, Gianfranco Ciardo |
| 2022 | Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. | Daniela Kaufmann, Armin Biere |
| 2022 | Automatic Test-Case Generation with CoVeriTest (Extended Abstract). | Marie-Christine Jakobs |