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