Filtering TOBIAS Combinatorial Test Suites.
Yves LedruLydie du BousquetOlivier MauryPierre BontronPublished in: FASE (2004)
Keyphrases
- test suite
- test cases
- test suite reduction
- regression testing
- test case generation
- static analysis
- model checker
- software testing
- mutation testing
- set of test cases
- tool support
- testing process
- information filtering
- adaptive filtering
- filtering algorithm
- java programs
- description language
- median filter
- number of test cases
- temporal logic