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
Automatic test case generation from simulink/stateflow models using model checking, Software Testing, Verification and Reliability, pp.155-180, 2014. ,
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
Model checking, 2000. ,
Slicing MATLAB Simulink models, 2012 34th International Conference on Software Engineering (ICSE), pp.551-561, 2012. ,
DOI : 10.1109/ICSE.2012.6227161
DIVERSITY-TG : Automatic Test Case Generation from Matlab/Simulink models. In: Embedded real time software and systems, 2012. ,
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
Automated test generation with SAL. In: CSL Technical Note, p.15, 2005. ,
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
Prover Technology -Prover plug-in documentation, 2000. ,
Applicability of modified condition/decision coverage to software testing, Software Engineering Journal, vol.9, issue.5, 1994. ,
DOI : 10.1049/sej.1994.0025
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