Combining Scenario- and Model-Based Testing to Ensure POSIX Compliance. - Frédéric Dadeau; Adrien De Kermadec; Régis Tissot (ABZ, 2008)

Generating Tests from B Specifications and Test Purposes. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot (ABZ, 2008)

Generating Security Tests in Addition to Functional Tests. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot (AST, 2008)

A B Formal Framework for Security Developments in the Domain of Smart Card Applications. - Frédéric Dadeau; Marie-Laure Potet; Régis Tissot (SEC, 2008)

jSynoPSys - A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines. - Frédéric Dadeau; Régis Tissot (MBT@ETAPS, 2009)

Test Generation Using Symbolic Animation of Models. - Frédéric Dadeau; Fabien Peureux; Bruno Legeard; Régis Tissot; Jacques Julliand; Pierre-Alain Masson; Fabrice Bouquet (Model-Based Testing for Embedded Systems, 2011)

Generating tests from B specifications and dynamic selection criteria. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot; Pierre-Christophe Bué (Formal Aspects Comput., 2011)

Scenario-based testing using symbolic animation of B models. - Frédéric Dadeau; Kalou Cabrera Castillos; Régis Tissot (Softw. Test. Verification Reliab., 2012)