A controlled experiment assessing test case prioritization techniques via mutation faults | Synapse