An Empirical Examination of Abstract Test Case Prioritization Techniques | IEEE Conference Publication | IEEE Xplore