Search space reduction through clustering in test generation.

Zohair Sahraoui Paul Six Ivo Bolsens Hugo De Man

Published in: EURO-DAC (1995)

Keyphrases

search space reduction
test generation
test cases
k means
clustering method
symbolic execution
clustering algorithm
search space
static analysis
test sequences
design automation
data points
software testing
quality assurance
databases
test data generation
error rate
pattern matching
high quality
case study