Beating Random Test Case Prioritization | IEEE Journals & Magazine | IEEE Xplore