Fault Driven Supervised Tie Breaking for Test Case Prioritization