Comparing non-adequate test suites using coverage criteria.

Milos Gligoric Alex Groce Chaoqiang Zhang Rohan Sharma Mohammad Amin Alipour Darko Marinov

Published in: ISSTA (2013)

Keyphrases

test suite
test cases
regression testing
test suite reduction
software testing
test case generation
model checker
static analysis
testing process
evaluation criteria
set of test cases
number of test cases
java programs
mutation testing
tool support
code coverage
data sets