An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
A new approach to program testing
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
A view of program verification
Proceedings of the international conference on Reliable software
A comparison of program complexity prediction models
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
In static program analysis, a program is examined without execution in an attempt to anticipate possible sources of error. Possible errors detected in this way can rarely be considered certain to occur because of the impossibility of infallibly determining the executability of a given program path. Current heuristic systems for making this determination are costly and uncertain. Hence the use of allegations—user supplied unverifiable statements designed to provide answers to executability questions—is suggested.