A formal analysis of MCDC and RCDC test criteria

Kalpesh Kapoor, Jonathan P. Bowen. A formal analysis of MCDC and RCDC test criteria. Softw. Test., Verif. Reliab., 15(1):21-40, 2005. [doi]

Abstract

Abstract is missing.