On the Use of Mutation Faults in Empirical Assessments of Test Case Prioritization Techniques | Synapse