Assertion: decision coverage | /r/HasProperty | satisfied
Facets:
Source sentences:
text: However, for safety-critical applications (e.g., for avionics software) it is often required that modified condition/decision coverage (MC/DC) be satisfied.