Login / Signup
Safety-complete test suites.
Wen-ling Huang
Sadik Özoguz
Jan Peleska
Published in:
Softw. Qual. J. (2019)
Keyphrases
</>
test suite
test suite reduction
test cases
regression testing
static analysis
data sets
model checker
java programs
mutation testing
machine learning
case study
video sequences
error rate
test case generation