| 2025 | Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings Marieke Huisman, Falk Howar |
| 2024 | Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks. Maximilian Schlüter, Bernhard Steffen |
| 2024 | Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. Hao Wu, Thomas Flinkow, Dominique Méry |
| 2024 | Efficient Temporal Logic Runtime Monitoring for Tiny Systems. Rüdiger Ehlers |
| 2024 | Exploring Loose Coupling of Slicing with Dynamic Symbolic Execution on the JVM. Malte Mues, Julian Rüschoff, Ben Hermann |
| 2024 | Is MCDC Really Better? Lessons from Combining Tests and Proofs. Li Huang, Bertrand Meyer, Manuel Oriol |
| 2024 | Model-Based Testing of Quantum Computations. Malte Lochau, Ina Schaefer |
| 2024 | No Smoke Without Fire: Detecting Specification Inconsistencies with Frama-C/WP. Allan Blanchard, Loïc Correnson, Adel Djoudi, Nikolai Kosmatov |
| 2024 | Refining CEGAR-Based Test-Case Generation with Feasibility Annotations. Max Barth, Marie-Christine Jakobs |
| 2024 | Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack. Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez |