Memory Read Faults: Taxonomy and Automatic Test Generation.

Alfredo Benso Stefano Di Carlo Giorgio Di Natale Paolo Prinetto

Published in: Asian Test Symposium (2001)

Keyphrases

test generation
test cases
mutation testing
design automation
test sequences
symbolic execution
static analysis
model based diagnosis
memory requirements
software testing
database applications
database
fault diagnosis
quality assurance
image quality
test data generation
image data
training data
high level