Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. - Marc Aiguier; Agnès Arnould; Clément Boin 002; Pascale Le Gall; Bruno Marre (FATES, 2005)

Une méthode de sélection de tests à partir de spécifications algébriques. (A specification-based testing method of selection). - Clément Boin 002 (2007)