From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria

Sergiy A. Vilkomir, Jonathan P. Bowen. From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. Formal Asp. Comput., 18(1):42-62, 2006. [doi]

Abstract

Abstract is missing.