A controlled experiment assessing test case prioritization techniques via mutation faults | IEEE Conference Publication | IEEE Xplore