Adaptive Test-Case Prioritization Guided by Output Inspection | IEEE Conference Publication | IEEE Xplore