Automatic Construction of Validated B Components from Structured Developments. - Pierre Bontron; Marie-Laure Potet (ZB, 2000)

Test Purposes: Adapting the Notion of Specification to Testing. - Yves Ledru; Lydie du Bousquet; Pierre Bontron; Olivier Maury; Catherine Oriat; Marie-Laure Potet (ASE, 2001)

Filtering TOBIAS Combinatorial Test Suites. - Yves Ledru; Lydie du Bousquet; Olivier Maury; Pierre Bontron (FASE, 2004)

Stratégie de couverture de test à un haut niveau d'abstraction. - Pierre Bontron; Marie-Laure Potet (Tech. Sci. Informatiques, 2004)

Les schémas de test : une abstraction pour la génération de tests de conformité et pour la mesure de couverture. (Test schemas : an abstraction for generation of conformance tests and coverage measure). - Pierre Bontron (2005)