Test compaction techniques for assertion-based test generation.

Jason G. Tong Marc Boule Zeljko Zilic

Published in: ACM Trans. Design Autom. Electr. Syst. (2013)

Keyphrases

test generation
test cases
test sequences
design automation
symbolic execution
static analysis
quality assurance
mutation testing
code coverage
test data generation
software testing
test data
data sets
image quality
regression testing
training data
decision trees
machine learning
real world