An Approach to Program Testing
ACM Computing Surveys (CSUR)
Symbolic execution and program testing
Communications of the ACM
A system for automatic software evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The detection of anomalous interprocedural data flow
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automated generation of testcase datasets
Proceedings of the international conference on Reliable software
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
Test data as an aid in proving program correctness
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
An experimental analysis of program verification methods.
An experimental analysis of program verification methods.
An Approach to Software Product Testing
IEEE Transactions on Software Engineering
Symbolic Model-based Test Selection
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based test selection for infinite-state reactive systems
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Evaluating software development by error analysis: The data from the Architecture Research Facility
Journal of Systems and Software
| Hi-index | 0.00 |
Two approaches to the study of program testing are described. One approach is theoretical and the other empirical. In the theoretical approach situations are characterized in which it is possible to use testing to formally prove the correctness of programs or the correctness of properties of programs. In the empirical approach statistics are collected which record the frequency with which different testing strategies reveal the errors in a collection of programs. The results of two research projects which investigated these approaches are presented. The differences between the two approaches are discussed and their relative advantages and disadvantages are compared.