Generate Certified Test Cases by Combining Theorem Proving and Reachability Analysis. - Richard Castanet; Davy Rouillard (TestCom, 2002)

Application de techniques de preuve assistée pour la spécification, la vérification et le test. (assisted proof methods for the specification, verification and test). - Davy Rouillard (2002)

VisAA: Visual analyzer for assembler. - Philippe Andouard; Olivier Ly; Davy Rouillard (CRiSIS, 2008)