| 2023 | Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking. Thibaut Benjamin, Julien Signoles |
| 2023 | BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. Daniel Engel, Freek Verbeek, Binoy Ravindran |
| 2023 | Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers. Aurélie Hurault, João Marques-Silva |
| 2023 | Context Specification Language for Formally Verifying Consent Properties on Models and Code. Myriam Clouet, Thibaud Antignac, Mathilde Arnaud, Julien Signoles |
| 2023 | Low-Level Reachability Analysis Based on Formal Logic. Nico Naus, Freek Verbeek, Marc Schoolderman, Binoy Ravindran |
| 2023 | Proving Properties of Operation Contracts with Test Scenarios. Martin Gogolla, Lars Hamann |
| 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 | Symbolic Observation Graph-Based Generation of Test Paths. Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel, Hanen Ochi |
| 2023 | Testing Languages with a Languages-as-Databases Approach. Matteo Cimini |
| 2023 | Testing a Formally Verified Compiler. David Monniaux, Léo Gourdin, Sylvain Boulmé, Olivier Lebeltel |
| 2023 | Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings Virgile Prevosto, Cristina Seceleanu |