An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper).
Xiaofang ZhangBaowen XuZhenyu ChenChanghai NieLeifang LiPublished in: QSIC (2008)
Keyphrases
- test suite reduction
- test suite
- test cases
- test case generation
- real valued
- high level
- boolean functions
- empirical evaluation
- test data
- test generation
- software testing
- formal verification
- website
- search engine
- unit testing
- social networks
- specification language
- multi valued
- similarity measure
- database
- business processes
- object oriented