How did you specify your test suite.
Andreas HolzerChristian SchallhartMichael TautschnigHelmut VeithPublished in: ASE (2010)
Keyphrases
- test suite
- test cases
- regression testing
- test suite reduction
- model checker
- static analysis
- optimisation problems
- test case generation
- software testing
- mutation testing
- software product line
- number of test cases
- java programs
- test sequences
- testing process
- error rate
- machine learning
- open source
- tool support
- set of test cases
- feature selection