Requirements traceability in automated test generation: application to smart card software validation. - Fabrice Bouquet; Eddie Jaffuel; Bruno Legeard; Fabien Peureux; Mark Utting (ACM SIGSOFT Softw. Eng. Notes, 2005)

Automatic generation of model based tests for a class of security properties. - Pierre-Alain Masson; Jacques Julliand; Jean-Chritophe Plessis; Eddie Jaffuel; Georges Debois (A-MOST, 2007)

Using B Machines for Model-Based Testing of Smartcard Software. - Eddie Jaffuel (B, 2007)

LEIRIOS Test Generator: Automated Test Generation from B Models. - Eddie Jaffuel; Bruno Legeard (B, 2007)

MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. - Gil Bernabeu; Eddie Jaffuel; Bruno Legeard; Fabien Peureux (ISSRE Workshops, 2014)

Achieving SCA Conformance Testing with Model-Based Testing. - Julien Botella; Jean-Philippe Delahaye; Eddie Jaffuel; Bruno Legeard; Fabien Peureux (J. Signal Process. Syst., 2016)