Huy-Vu Do

Analyse de la Testabilité des Logiciels Flots de Données Synchrones

Huy-Vu Do, Thanh Binh Nguyen, Chantal Robach, 2003, RIVF.

Analysis of Testability Metrics for Lustre/Scade Programs

Huy-Vu Do, Chantal Robach, Michel Delaunay, 2010, 2010 Second International Conference on Advances in System Testing and Validation Lifecycle.

A testability analysis for data-flow designs of reactive real-time systems

Huy-Vu Do, Chantal Robach, Michel Delaunay, 2004, IASTED Conf. on Software Engineering and Applications.