J. Chilenski and S. Miller, 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

R. Inc, DO-178B: Software Considerations in Airborne Systems and Equipment Certification . Requirements and Technical Concepts for Aviation, 1992.

P. V. Bhansali, The MCDC paradox, ACM SIGSOFT Software Engineering Notes, vol.32, issue.3, pp.1-4, 2007.
DOI : 10.1145/1241572.1241581

R. Inc, DO-248B: Final Report for Clarification of DO-178B: Software Considerations in Airborne Systems and Equipment Certification. Requirements and Technical Concepts for Aviation, 2001.

M. W. Whalen, A. Rajan, M. P. Heimdahl, and S. P. Miller, 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

A. Dupuy and A. Leveson, 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

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

K. Kapoor and J. Bowen, 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

Y. T. Yu and M. L. Laub, 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

A. Rajan, M. W. Whalen, and M. P. 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

A. Gargantini and C. Heitmeyer, 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.

G. Hamon, L. De-moura, and J. Rushby, 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

V. Okun, P. Black, and Y. Yesha, Testing with model checkers: Insuring fault visibility, 2003.

S. Rayadurgam and M. P. Heimdahl, 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