On the completeness of test suites.

Adilson Luiz Bonifácio Arnaldo Vieira Moura

Published in: SAC (2014)

Keyphrases

test suite
test suite reduction
test cases
regression testing
test case generation
static analysis
model checker
software testing
java programs
data sets
tool support
data quality
test data
feature space
testing process
video sequences
mutation testing
number of test cases
code coverage
databases