In the early 1990s, the Modi ed Condition/Decision Coverage (MC/DC) criterion was suggested as a structural white-box testing approach, but it can also be used for blackbox speci cation-based testing. Practical application ...