A Novel Test Generation Methodology for Adaptive Diagnosis.

Rajsekhar Adapa Edward Flanigan Spyros Tragoudas

Published in: ISQED (2008)

Keyphrases

test generation
test cases
test sequences
symbolic execution
static analysis
cooperative
model based diagnosis
design automation
fault diagnosis
medical diagnosis
mutation testing
database
data sets
computer vision
quality assurance