Hierarchical test generation using precomputed tests for modules.

Brian T. Murray John P. Hayes

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1990)

Keyphrases

test generation
test cases
symbolic execution
test sequences
static analysis
design automation
software testing
quality assurance
mutation testing
database
code coverage
hierarchical structure
feature selection
image data
relational databases
database systems
image processing
real world
data sets