Sergiy A. Vilkomir Jonathan P. Bowen From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria. 240-270 2008 Formal Methods and Testing http://dx.doi.org/10.1007/978-3-540-78917-8_8 conf/fortest/2008 db/conf/fortest/fortest2008.html#VilkomirB08