Relating Conformance Test Coverage to Formal Specifications. - Roland Groz; Olivier Charles; Josiane Renévot (FORTE, 1996)

Application des hypothèses de test à une définition de la couverture. (Application of test hypotheses to a definition of test coverage). - Olivier Charles (1997)