QTEP: quality-aware test case prioritization | Synapse