Encoding Test Requirements as Constraints for Test Suite Minimization.
José CamposRui AbreuPublished in: ITNG (2013)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- mutation testing
- number of test cases
- test case generation
- software testing
- static analysis
- set of test cases
- testing process
- constraint satisfaction
- constrained minimization
- constraint programming
- test generation
- user requirements
- combinatorial problems
- databases
- software systems
- pseudo boolean
- query language
- xml documents
- objective function