Program Testing versus Proofs of Correctness.
William E. HowdenPublished in: Softw. Test. Verification Reliab. (1991)
Keyphrases
- test cases
- concurrent programs
- symbolic execution
- computer programs
- set of test cases
- search based software testing
- computer vision
- expert systems
- data sets
- static analysis
- test generation
- test suite
- formal proof
- decision procedures
- programming environment
- theorem proving
- data structure
- database systems
- case study
- machine learning