Fault models and test generation for IDDQ testing: embedded tutorial.

Yoshinobu Higami Yuzo Takamatsu Kewal K. Saluja Kozo Kinoshita

Published in: ASP-DAC (2000)

Keyphrases

test generation
fault models
test cases
symbolic execution
test sequences
software testing
quality assurance
code coverage
static analysis
model based diagnosis
fault model
information systems
test data generation
software engineering
conflict resolution
pattern matching
test set
case study