Sequential Test Generation at the Register-Transfer and Logic Levels.

Abhijit Ghosh Srinivas Devadas A. Richard Newton

Published in: DAC (1990)

Keyphrases

test generation
test cases
symbolic execution
design automation
test sequences
static analysis
quality assurance
mutation testing
data sets
logic programming
software testing
transfer learning
programming language
test data generation
multi agent
e learning
code coverage
databases