Applicability of modified condition/decision coverage to software testing, Software Engineering Journal, vol.9, issue.5, pp.193-200, 1994. ,
DOI : 10.1049/sej.1994.0025
DO-178B: Software Considerations in Airborne Systems and Equipment Certification . Requirements and Technical Concepts for Aviation, 1992. ,
The MCDC paradox, ACM SIGSOFT Software Engineering Notes, vol.32, issue.3, pp.1-4, 2007. ,
DOI : 10.1145/1241572.1241581
DO-248B: Final Report for Clarification of DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Requirements and Technical Concepts for Aviation, 2001. ,
Coverage metrics for requirementsbased testing, ISSTA '06: Proceedings of the 2006 international symposium on Software testing and analysis, pp.25-36, 2006. ,
DOI : 10.1145/1146238.1146242
An empirical evaluation of the MC/DC coverage criterion on the HETE-2 satellite software, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126), 2000. ,
DOI : 10.1109/DASC.2000.886883
A comparison of some structural testing strategies. Software Engineering, IEEE Transactions on, vol.14, issue.6, pp.868-874, 1988. ,
Experimental evaluation of the variation in effectiveness for DC, FPC and MC/DC test criteria, 2003 International Symposium on Empirical Software Engineering, 2003. ISESE 2003. Proceedings., pp.185-194, 2003. ,
DOI : 10.1109/ISESE.2003.1237977
A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions, Journal of Systems and Software, vol.79, issue.5, pp.577-590, 2006. ,
DOI : 10.1016/j.jss.2005.05.030
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
Using Model Checking to Generate Tests From Requirements Specifications, 7th European Software Engineering Conference, Held Jointly with the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.146-162, 1999. ,
Generating efficient test sets with a model checker, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.261-270, 2004. ,
DOI : 10.1109/SEFM.2004.1347530
Testing with model checkers: Insuring fault visibility, 2003. ,
Generating MC/DC adequate test sequences through model checking, 28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings., 2003. ,
DOI : 10.1109/SEW.2003.1270730