TAP

Publications

2023

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

volume 14066, 2023

Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings TAP 14066 (2023)