Model-Based Filtering of Combinatorial Test Suites.
Taha TrikiYves LedruLydie du BousquetFrédéric DadeauJulien BotellaPublished in: FASE (2012)
Keyphrases
- test suite
- test cases
- test suite reduction
- regression testing
- software testing
- mutation testing
- test case generation
- static analysis
- model checker
- testing process
- java programs
- adaptive filtering
- test sequences
- filtering method
- filtering algorithm
- information filtering
- databases
- number of test cases
- relational databases