A Greedy-Based Method for Modified Condition/Decision Coverage Testing Criterion | IEEE Conference Publication | IEEE Xplore