How Testing Helps to Diagnose Proof Failures.
Static and Dynamic Verification of Relational Properties on Self-Composed C Code.
Your Proof Fails? Testing Helps to Find the Reason.
PhD Thesis: Contribution à la vérification de programmes C par combinaison de tests et de preuves.
Sequential Generation of Structured Arrays and Its Deductive Verification.
Instrumentation of Annotated C Programs for Test Generation.
How Test Generation Helps Software Specification and Deductive Verification in Frama-C.
An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs.
Fault Injection Simulation
FISSC: a Fault Injection and Simulation Secure Collection.
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML.