Test case prioritization: an empirical study | Synapse