Automatic Test Data Generation Using Constraint Solving Techniques.
Arnaud GotliebBernard BotellaMichel RueherPublished in: ISSTA (1998)
Keyphrases
- constraint solving
- test data generation
- constraint propagation
- constraint logic programming
- search based testing
- test cases
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- simulated annealing algorithm
- constraint programming
- software testing
- test case generation
- symbolic execution
- generation algorithm
- artificial intelligence
- open source
- object oriented
- evolutionary algorithm