Adaptive Random Test Case Prioritization | IEEE Conference Publication | IEEE Xplore