Test case prioritization: an empirical study
A safe, efficient regression test selection technique