Testing, Verification, and Diagnosis in the Presence of Unknowns.

Ankur Jain Vamsi Boppana Rajarshi Mukherjee Jawahar Jain Masahiro Fujita Michael S. Hsiao

Published in: VTS (2000)

Keyphrases

test generation
symbolic execution
formal verification
fault diagnosis
model based diagnosis
model based reasoning
test cases
face verification
model checking
medical diagnostic
test data
machine learning
test set
software engineering
expert systems
website
information systems