Publications of Michel Delaunay

Load the BibTeX file

Academic Journals

1. Lydie du Bousquet, Michel Delaunay. Towards Mutation Analysis for Lustre Programs. Electr. Notes Theor. Comput. Sci, 203(4):35-48, 2008.

International Conferences

1. L. du Bousquet, M. Delaunay. Using mutation analysis to evaluate test generation strategies in a synchronous context. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), Pages 40-45, Esterel, France, August 2007.

National conferences or workshops

1. T. B. Nguyen, C. Robach, M. Delaunay. Testability Analysis of Reactive Software. In 1st Int. Workshop on Testability Assessment (IWoTA) (in conjunction with ISSRE04), Pages 15-25, Rennes, France, November 2004.