1. SELECT—a formal system for testing and debugging programs by symbolic execution;Boyer,1975
2. Mutation analysis: Ideas, examples, problems and prospects;Budd,1981
3. An extended overview of the Mothra software testing environment;DeMillo,1988
4. Hints on Test Data Selection: Help for the Practicing Programmer;DeMillo;Computer,1978