Functional Test Generation of Digital LSI/VLSI Systems Using Machine Symbolic Execution Technique.

Tonysheng Lin Stephen Y. H. Su

Published in: ITC (1984)

Keyphrases

test generation
symbolic execution
design automation
test cases
test data generation
static analysis
complex systems
data flow
source code
training data
specification language
quality assurance
database
general purpose
software testing
database systems
high level
genetic algorithm
databases