Ant Colony System with Sorting-Based Local Search for Coverage-Based Test Case Prioritization