Efficient Reduction of Model-Based Generated Test Suites through Test Case Pair Prioritization | IEEE Conference Publication | IEEE Xplore