A Test Generation Methodology for High-Performance Computer Chips and Modules.

Bernd Könemann Phil Noto

Published in: ITC (1992)

Keyphrases

test generation
test cases
computer systems
design automation
symbolic execution
test sequences
software testing
high speed
static analysis
mutation testing
building blocks
quality assurance
data sets
database
artificial intelligence
test data generation
machine learning
code coverage