Michel Delaunay

Publication Activity (10 Years)

Years Active: 2002-2010
Publications (10 Years): 0

Publications

Thanh Binh Nguyen, Dang Thien Binh, Michel Delaunay, Chantal Robach
Testability Analysis Integrated into Scicos Development Environment. RIVF (2010)
Lydie du Bousquet, Michel Delaunay
Towards Mutation Analysis for Lustre Programs. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Lydie du Bousquet, Michel Delaunay
Using mutation analysis to evaluate test generation strategies in a synchronous context. ICSEA (2007)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testability Analysis of Data-Flow Software. Electron. Notes Theor. Comput. Sci. 116 (2005)
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)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testability Analysis Applied to Embedded Data-flow Software. QSIC (2003)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testing Criteria for Data Flow Software. APSEC (2003)
Huy-Vu Do, Thanh Binh Nguyen, Chantal Robach, Michel Delaunay
Analyse de la Testabilité des Logiciels Flots de Données Synchrones. RIVF (2003)
Thanh Binh Nguyen, Michel Delaunay, Chantal Robach
Testability Analysis for Software Components. ICSM (2002)