A Search-Based OCL Constraint Solver for Model-Based Test Data Generation.
Shaukat AliMuhammad Zohaib Z. IqbalAndrea ArcuriLionel C. BriandPublished in: QSIC (2011)
Keyphrases
- test data generation
- constraint solver
- test cases
- constraint solving
- search based testing
- constraint propagation
- simulated annealing algorithm
- constraint programming
- software testing
- constraint satisfaction problems
- constraint satisfaction
- test data
- test generation
- real numbers
- test suite
- search algorithm
- test set
- simulated annealing