An overview of automated software testing

This publication has 11 references indexed in Scilit:

• Quantifying software validation: when to stop testing?
  IEEE Software, 1989
• Applications of symbolic evaluation
  Journal of Systems and Software, 1985
• On data flow guided program testing
  ACM SIGPLAN Notices, 1982
• Validation, Verification, and Testing of Computer Software
  ACM Computing Surveys, 1982
• Capture-Recapture Sampling for Estimating Software Error Content
  IEEE Transactions on Software Engineering, 1981
• Real-time
  Communications of the ACM, 1980
• Hints on Test Data Selection: Help for the Practicing Programmer
  Computer, 1978
• An Introduction to Proving the Correctness of Programs
  ACM Computing Surveys, 1976
• Design and code inspections to reduce errors in program development
  IBM Systems Journal, 1976
• Toward a theory of test data selection
  IEEE Transactions on Software Engineering, 1975