Leveraging a Constraint Solver for Minimizing Test Suites.
José CamposRui AbreuPublished in: QSIC (2013)
Keyphrases
- constraint solver
- test suite
- constraint solving
- test suite reduction
- test cases
- constraint propagation
- linear constraints
- constraint programming
- constraint satisfaction
- constraint satisfaction problems
- test case generation
- software testing
- real numbers
- mutation testing
- constraint logic programming
- java programs
- sat solvers
- testing process
- arc consistency algorithm
- number of test cases
- search strategies
- computational intelligence