Login / Signup
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.
Anitha Murugesan
Michael W. Whalen
Neha Rungta
Oksana Tkachuk
Suzette Person
Mats Per Erik Heimdahl
Dongjiang You
Published in:
NFM (2015)
Keyphrases
</>
test suite
test cases
test suite reduction
regression testing
tool support
test case generation
databases
functional requirements
machine learning
model checker
training data
test set
software testing
static analysis
java programs
testing process