Balancing trade-offs in test-suite reduction
Hints on Test Data Selection: Help for the Practicing Programmer