Test-suite reduction and prioritization for modified condition/decision coverage | IEEE Conference Publication | IEEE Xplore