To Be Optimal or Not in Test-Case Prioritization | IEEE Journals & Magazine | IEEE Xplore