Prioritizing test cases for regression testing
Testing Programs with the Aid of a Compiler