The impact of test case reduction and prioritization on software testing effectiveness | IEEE Conference Publication | IEEE Xplore