Keyphrases
- symbolic execution
- modulo theories
- sat solvers
- satisfiability modulo theories
- answer set programming
- static analysis
- test generation
- test data generation
- np complete
- specification language
- propositional logic
- source code
- clause learning
- propositional satisfiability
- data flow
- sat instances
- first order logic
- orders of magnitude
- sat problem
- constraint satisfaction
- stable model semantics
- search strategies
- max sat
- answer sets
- logic programs
- simulated annealing algorithm
- programming language
- database
- description language
- open source
- logic programming
- query processing
- evolutionary algorithm
- search space
- genetic algorithm