Test generation in circuits constructed by input decomposition.

Gueesang Lee Mary Jane Irwin Robert Michael Owens

Published in: ICCD (1990)

Keyphrases

test generation
test cases
symbolic execution
test sequences
software testing
design automation
static analysis
quality assurance
logic synthesis
learning algorithm
high speed
object oriented
data model
test data generation
training data
high level
case study