Applicability of modified condition/decision coverage to software testing | Synapse