G. Fraser, F. Wotawa, and P. Ammann, Issues in using model checkers for test case generation, Journal of Systems and Software, pp 1403?1418, V82, N ? 9, 2009.
DOI : 10.1016/j.jss.2009.05.016

A. Gadkari, A. Yeolekar, J. Suresh, S. Ramesh, S. Mohalik et al., Automatic test case generation from simulink/stateflow models using model checking, Software Testing, Verification and Reliability, pp.155-180, 2014.

M. Tekaya, M. Bennani, A. , M. , A. et al., Aspect-Oriented Test Case Generation from Matlab/Simulink Models, Theory and Engineering of Complex Systems and Dependability 2015, pp.495-504, 2015.
DOI : 10.1007/978-3-319-19216-1_47

E. M. Clarke, O. Grumberg, and D. Peled, Model checking, 2000.

R. Reicherdt and S. Glesner, Slicing MATLAB Simulink models, 2012 34th International Conference on Software Engineering (ICSE), pp.551-561, 2012.
DOI : 10.1109/ICSE.2012.6227161

D. Bahrami, A. Faivre, and A. Lapitre, DIVERSITY-TG : Automatic Test Case Generation from Matlab/Simulink models. In: Embedded real time software and systems, 2012.

P. Peranandam, S. Raviram, M. Satpathy, A. Yeolekar, A. Gadkari et al., An integrated test generation tool for enhanced coverage of Simulink/Stateflow models, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp.308-311, 2012.
DOI : 10.1109/DATE.2012.6176485

G. Hamon, D. Moura, L. Rushby, and J. , Automated test generation with SAL. In: CSL Technical Note, p.15, 2005.

R. Kirner, Towards Preserving Model Coverage and Structural Code Coverage, EURASIP Journal on Embedded Systems, vol.19, issue.5, 2009.
DOI : 10.1023/B:LISP.0000029444.99264.c0

URL : http://doi.org/10.1155/2009/127945

M. Sheeran, Prover Technology -Prover plug-in documentation, 2000.

J. Chilenski, . Miller, and P. Steven, Applicability of modified condition/decision coverage to software testing, Software Engineering Journal, vol.9, issue.5, 1994.
DOI : 10.1049/sej.1994.0025

A. Rajan, . Whalen, and M. Heimdahl, The effect of program and model structure on mc/dc test adequacy coverage, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.161-170, 2008.
DOI : 10.1145/1368088.1368111