A new approach to program testing

• 1 January 1975
• proceedings article
• Published by Association for Computing Machinery (ACM)
• Vol. 10  (6) , 228-233
• https://doi.org/10.1145/800027.808444

Abstract

Keywords

• PROGRAM CORRECTNESS
• PROGRAM TESTING
• PROGRAM VERIFICATION
• SYMBOLIC EXECUTION
• SYMBOLIC INTERPRETATION