Crosstalk test generation on pseudo industrial circuits: a case study.

Liang-Chi Chen T. M. Mak Sandeep K. Gupta Melvin A. Breuer

Published in: ITC (2001)

Keyphrases

test generation
test cases
design automation
symbolic execution
static analysis
quality assurance
test sequences
industrial applications
case study
software testing
mutation testing
high speed
databases
circuit design
regression testing
test data generation