Login / Signup
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