Performance analysis of constraint solvers for coverage directed test generation: A car sequencing problem.
M. P. Jomu GeorgeOtmane Aït MohamedPublished in: CCECE (2011)
Keyphrases
- test generation
- code coverage
- constraint solvers
- test cases
- constraint programming
- constraint solving
- constraint satisfaction problems
- constraint solver
- test suite
- design automation
- software testing
- combinatorial problems
- constraint propagation
- set bounds propagation
- quality assurance
- solving problems
- static analysis
- constraint satisfaction
- software development
- constraint problems
- np complete
- optimal solution
- decision trees
- artificial intelligence