Keyphrases
- constraint solving
- test data generation
- test cases
- constraint logic programming
- constraint propagation
- search based testing
- simulated annealing algorithm
- symbolic execution
- software testing
- constraint solver
- constraint satisfaction
- constraint satisfaction problems
- test case generation
- constraint programming
- test generation
- generation algorithm
- fitness function
- evolutionary algorithm
- test suite
- search algorithm
- optimal solution
- data model
- learning algorithm
- simulated annealing
- neural network