- Thibaut Benjamin and Julien Signoles. Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking
- Matteo Cimini. Testing Languages with a Languages-as-Databases Approach
- Myriam Clouet, Thibaud Antignac, Mathilde Arnaud and Julien Signoles. Context Specification Language for Formal Verification of Consent Properties on Models and Code
- Daniel Engel, Freek Verbeek and Binoy Ravindran. BIRD: A Binary Intermediate Representation for formally verified Decompilation of x86-64 binaries
- Martin Gogolla and Lars Hamann. Proving Properties of Operation Contracts with Test Scenarios
- Aurélie Hurault and Joao Marques-Silva. Certified Logic-Based Explainable AI - The Case of Monotonic Classifiers
- Kais Klai, Mohamed Taha Bennani, Jaime Arias, Jörg Desel and Hanen Ochi. Symbolic Observation Graph-Based Generation of Test Paths
- David Monniaux, Léo Gourdin, Sylvain Boulmé and Olivier Lebeltel. Testing a Formally Verified Compiler
- Nico Naus, Freek Verbeek, Marc Schoolderman and Binoy Ravindran. Low-level Reachability Analysis based on Formal Logic
- Megan Strauss and Stefan Mitsch. Slow Down, Move Over: A Case Study in Formal Verification, Refinement, and Testing of the Responsibility-Sensitive Safety Model for Self-Driving Cars