Keyphrases
- genetic programming
- probabilistic reasoning
- symbolic execution
- static analysis
- test data generation
- test generation
- bayesian networks
- specification language
- probabilistic logic
- source code
- probabilistic inference
- first order logic
- constraint satisfaction
- belief networks
- logic programming
- knowledge representation
- genetic algorithm
- neural network
- open source
- programming language
- data flow
- software testing
- search space
- natural language