A Probabilistic Remark on Algebraic Program Testing.
Richard A. DeMilloRichard J. LiptonPublished in: Inf. Process. Lett. (1978)
Keyphrases
- test cases
- symbolic execution
- bayesian networks
- probabilistic model
- search based software testing
- generative model
- probabilistic logic
- static analysis
- uncertain data
- test suite
- probabilistic reasoning
- test generation
- dynamic analysis
- software testing
- context sensitive
- computer programs
- data driven
- higher order
- probabilistic approaches
- similarity measure
- concurrent programs
- genetic algorithm
- information theoretic
- set of test cases
- high level