Software Debugging, Testing, and Verification
Regression test selection for Java software