search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Safety-Complete Test Suites.

Wen-ling Huang Jan Peleska

Published in: ICTSS (2017)

Keyphrases

test suite
test cases
test suite reduction
regression testing
software testing
test case generation
mutation testing
case study
static analysis
model checker
machine learning
learning algorithm
computational complexity