A Functional Decomposition Method for Redundancy Identification and Test Generation.

Michael L. Bushnell John Giraldi

Published in: J. Electron. Test. (1997)

Keyphrases

decomposition method
test generation
test cases
symbolic execution
tree decomposition
test sequences
design automation
static analysis
decomposition methods
decomposition algorithm
mutation testing
quality assurance
computer vision
feature space
high level
code coverage
data sets
pattern matching