H. Agrawal, R. Demillo, R. Hathaway, W. Hsu, W. Hsu et al., Design of Mutant Operators for the C Programming Language, 1989.

J. H. Andrews, L. C. Briand, and Y. Labiche, Is mutation an appropriate tool for testing experiments?, 27th International Conference on Software Engineering (ICSE'05), pp.402-411, 2005.
DOI : 10.1109/icse.2005.1553583

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Atlee and J. Gannon, State-Based Model Checking of Event-Driven System Requirements, IEEE Transactions on Software Engineering, pp.24-40, 1993.

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

R. Demillo, D. Guindi, K. King, M. M. Mccracken, and J. Offutt, An extended overview of the Mothra software testing environment, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis, pp.142-151, 1988.
DOI : 10.1109/WST.1988.5369

R. Demillo, R. Lipton, and F. Sayward, Hints on Test Data Selection: Help for the Practicing Programmer, Computer, vol.11, issue.4, pp.34-41, 1978.
DOI : 10.1109/C-M.1978.218136

S. , R. Senger-de-souza, J. C. Maldonado, S. C. Fabbri, W. Lopes et al., Mutation testing applied to estelle specifications, HICSS, 2000.

L. Bousquet and M. Delaunay, Mutation analysis for Lustre programs: Fault model description and validation, Testing: Academic and Industrial Conference Practice and Research Techniques, MUTATION (TAICPART-MUTATION 2007), pp.176-184, 2007.
DOI : 10.1109/TAIC.PART.2007.27

URL : https://hal.archives-ouvertes.fr/hal-01272641

L. Bousquet, F. Ouabdesselam, and J. Richier, Expressing and implementing operational profiles for reactive software validation, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257), 1998.
DOI : 10.1109/ISSRE.1998.730885

B. M. Duc, Conception et modélisation objet des systèmes temps réel. Eyrolles, 1998.

S. C. Fabbri, J. C. Maldonado, M. E. Delamaro, and P. C. Masiero, Mutation testing applied to validate specifications based on statecharts, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), 1999.
DOI : 10.1109/ISSRE.1999.809326

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Halbwachs, F. Lagnier, and C. , Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, pp.785-793, 1992.
DOI : 10.1109/32.159839

W. Howden, Reliability of the Path Analysis Testing Strategy, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.37-44, 1976.
DOI : 10.1109/TSE.1976.233816

A. Lakehal, F. Ouabdesselam, I. Parissis, and J. Vassy, Models for synchronous software testing, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004., pp.41-50, 2004.
DOI : 10.1109/MODEVA.2004.1425847

T. Lee and P. Hsiung, Mutation Coverage Estimation for Model Checking, Second International Conference on Automated Technology for Verification and Analysis (ATVA), pp.354-368, 2004.
DOI : 10.1007/978-3-540-30476-0_29

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

Y. Ma, J. Offutt, and Y. R. Kwon, MuJava: an automated class mutation system, Software Testing, Verification and Reliability, vol.8, issue.2, pp.97-133, 2005.
DOI : 10.1002/stvr.308

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

Y. Ma, J. Offutt, and Y. R. Kwon, MuJava, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.827-830, 2006.
DOI : 10.1145/1134285.1134425

G. Myers, The Art Of Software Testing, 1979.
DOI : 10.1002/9781119202486

T. B. Nguyen and C. Robach, Mutation Testing Applied to Hardware: the Mutants Generation, Proceedings of the 11th IFIP International Conference on Very Large Scale Integration, pp.118-123, 2001.

S. Ntafos, A comparison of some structural testing strategies, IEEE Transactions on Software Engineering, vol.14, issue.6, pp.868-874, 1988.
DOI : 10.1109/32.6165

A. J. Offutt, J. Voas, and J. Payne, Mutation Operators for Ada, 1996.

S. Rapps and E. Weyuker, Selecting Software Test Data Using Data Flow Information, IEEE Transactions on Software Engineering, vol.11, issue.4, pp.367-375, 1985.
DOI : 10.1109/TSE.1985.232226

W. E. Wong, Mutation Testing for the New Century, 2001.
DOI : 10.1007/978-1-4757-5939-6