Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. - Jeremy Dick; Alain Faivre (FME, 1993)

Météor: A Successful Application of B in a Large Project. - Patrick Behm; Paul Benoit; Alain Faivre; Jean-Marc Meynadier (World Congress on Formal Methods, 1999)

Automatic Test Generation with AGATHA. - Céline Bigot; Alain Faivre; Jean-Pierre Gallois; Arnault Lapitre; David Lugato; Jean-Yves Pierron; Nicolas Rapin (TACAS, 2003)

Validation des règles de base de l'Atelier B. - Karim Berkani; Catherine Dubois; Alain Faivre; Jérôme Falampin (Tech. Sci. Informatiques, 2004)

Automatic Test Generation on a (U)SIM Smart Card. - Céline Bigot; Alain Faivre; Christophe Gaston; Julien Simon (CARDIS, 2006)

4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. - Benoit Baudry; Alain Faivre; Sudipto Ghosh 001; Alexander Pretschner (MoDELS (Workshops), 2007)

Symbolic Model Based Testing for Component Oriented Systems. - Alain Faivre; Christophe Gaston; Pascale Le Gall (TestCom/FATES, 2007)

Test Purpose Concretization through Symbolic Action Refinement. - Alain Faivre; Christophe Gaston; Pascale Le Gall; Assia Touil (TestCom/FATES, 2008)

Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY. - Julien Deltour; Alain Faivre; Emmanuel Gaudin; Arnault Lapitre (SAM, 2014)