K. El-fakih, A. Simao, N. Jadoon, and J. C. Maldonado, On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops, 2014.
DOI : 10.1109/ICSTW.2014.25

C. Bourhfir, E. Abdoulhamid, F. Khendek, and R. Dssouli, Test cases selection from SDL specifications, Computer Networks, vol.35, issue.6, pp.693-708, 2001.
DOI : 10.1016/S1389-1286(00)00203-6

Y. Jia and M. Harman, An anaylsis an survey of the development of mutation testing, IEEE TSE, vol.37, issue.5, pp.649-678, 2011.

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=10.1.1.85.2076

A. Mathur, Foundations of Software Testing, 2008.

A. Petrenko, S. Boroday, and R. Groz, Confirming configurations in efsm testing, IEEE Transactions on Software Engineering, vol.30, issue.1, pp.29-42, 2004.
DOI : 10.1109/TSE.2004.1265734

H. Ural and A. Williams, Test generation by exposing control and data dependencies within system specifications in SDL, Formal Description Techniques, pp.335-350, 1993.

M. Team, September) MuClipse -Mutation Testing tool for Eclipse, 2011.