Experimental framework for studying the equivalence between branch outcome coverage and masking MC/DC on homogeneous Boolean chains.
c cpp reproducible-research gcc test-coverage software-verification software-testing gcov branch-coverage safety-critical boolean-logic coverage-analysis mcdc
-
Updated
Dec 10, 2025 - Shell