Using Coverage Criteria on RepOK to Reduce Bounded-Exhaustive Test Suites.
Valeria S. BengoleaNazareno AguirreDarko MarinovMarcelo F. FriasPublished in: TAP@TOOLS (2012)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- software testing
- static analysis
- test case generation
- evaluation criteria
- model checker
- number of test cases
- tool support
- mutation testing
- set of test cases
- selection criteria
- java programs
- decision trees
- machine learning
- testing process
- code coverage
- databases