Test case prioritization: an empirical study
Testing Programs with the Aid of a Compiler