Towards Scalable Compositional Test Generation.

Tao Sun Zheng Wang Geguang Pu Xiao Yu Zongyan Qiu Bin Gu

Published in: QSIC (2009)

Keyphrases

test generation
test cases
symbolic execution
test sequences
design automation
static analysis
quality assurance
mutation testing
software testing
test data generation
data sets
code coverage
software engineering
cooperative
case study
image processing
computer vision
database