A Greedy-Based Method for Modified Condition/Decision Coverage Testing Criterion. - Bo-His Li; Chin-Yu Huang (SRDS, 2017)