| 2008 |
|---|
| 8 | EE | Lydie du Bousquet,
Michel Delaunay:
Towards Mutation Analysis for Lustre Programs.
Electr. Notes Theor. Comput. Sci. 203(4): 35-48 (2008) |
| 2007 |
|---|
| 7 | EE | Lydie du Bousquet,
Michel Delaunay:
Using mutation analysis to evaluate test generation strategies in a synchronous context.
ICSEA 2007: 40 |
| 2005 |
|---|
| 6 | EE | Nguyen Thanh Binh,
Michel Delaunay,
Chantal Robach:
Testability Analysis of Data-Flow Software.
Electr. Notes Theor. Comput. Sci. 116: 213-225 (2005) |
| 2004 |
|---|
| 5 | | Huy-Vu Do,
Chantal Robach,
Michel Delaunay,
Jean-Sébastien Cruz:
A testability analysis for data-flow designs of reactive real-time systems.
IASTED Conf. on Software Engineering and Applications 2004: 318-323 |
| 2003 |
|---|
| 4 | EE | Nguyen Thanh Binh,
Michel Delaunay,
Chantal Robach:
Testing Criteria for Data Flow Software.
APSEC 2003: 332-339 |
| 3 | EE | Nguyen Thanh Binh,
Michel Delaunay,
Chantal Robach:
Testability Analysis Applied to Embedded Data-flow Software.
QSIC 2003: 351- |
| 2 | EE | Huy-Vu Do,
Nguyen Thanh Binh,
Chantal Robach,
Michel Delaunay:
Analyse de la Testabilité des Logiciels Flots de Données Synchrones.
RIVF 2003: 223-232 |
| 2002 |
|---|
| 1 | EE | Nguyen Thanh Binh,
Michel Delaunay,
Chantal Robach:
Testability Analysis for Software Components.
ICSM 2002: 422-429 |
