Keyphrases
- constraint logic programming
- symbolic execution
- source code
- constraint solving
- static analysis
- answer set programming
- test data generation
- logic programming
- test generation
- constraint programming
- open source
- software systems
- constraint propagation
- databases
- constraint satisfaction problems
- specification language
- simulated annealing
- database
- global constraints
- special case
- lower bound