Experiments Determining Best Paths for Testing Computer Program Predicates.
Lee J. WhiteP. N. SahayPublished in: ICSE (1985)
Keyphrases
- computer programs
- test cases
- symbolic execution
- computer hardware
- search based software testing
- execution paths
- concurrent programs
- computer systems
- test data
- user defined
- computer technology
- test suite
- e learning
- set of test cases
- personal computer
- path finding
- test data generation
- co occurrence
- website
- artificial intelligence
- horn clause logic
- database