Test Generation for Double Stuck-at Faults.

Yoshinobu Higami Naoko Takahashi Yuzo Takamatsu

Published in: Asian Test Symposium (2001)

Keyphrases

test generation
test cases
mutation testing
test sequences
symbolic execution
design automation
software testing
fault diagnosis
static analysis
quality assurance
fault detection
regression testing
test data generation
data sets
object oriented
neural network
model based diagnosis
fault model
high quality