An Approach to RTL Fault Extraction and Test Generation.

Zhigang Yin Yinghua Min Xiaowei Li

Published in: Asian Test Symposium (2001)

Keyphrases

test generation
test cases
test sequences
symbolic execution
mutation testing
fault diagnosis
design automation
static analysis
fault detection
information extraction
software testing
quality assurance
test data generation
databases
expert systems
code coverage