Test Case Prioritization Using Lexicographical Ordering | IEEE Journals & Magazine | IEEE Xplore