Testability Analysis for Software Components. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (ICSM, 2002)

Testing Criteria for Data Flow Software. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (APSEC, 2003)

Testability Analysis Applied to Embedded Data-flow Software. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (QSIC, 2003)

Analyse de la Testabilité des Logiciels Flots de Données Synchrones. - Huy-Vu Do; Nguyen Thanh Binh 002; Chantal Robach; Michel Delaunay (RIVF, 2003)

A testability analysis for data-flow designs of reactive real-time systems. - Huy-Vu Do; Chantal Robach; Michel Delaunay; Jean-Sébastien Cruz (IASTED Conf. on Software Engineering and Applications, 2004)

Testability Analysis of Data-Flow Software. - Nguyen Thanh Binh 002; Michel Delaunay; Chantal Robach (TACoS, 2004)

Using mutation analysis to evaluate test generation strategies in a synchronous context. - Lydie du Bousquet; Michel Delaunay (ICSEA, 2007)

Towards Mutation Analysis for Lustre Programs. - Lydie du Bousquet; Michel Delaunay (SLA++P@ETAPS, 2007)

Testability Analysis Integrated into Scicos Development Environment. - Nguyen Thanh Binh 002; Dang Thien Binh; Michel Delaunay; Chantal Robach (RIVF, 2010)