Incremental Verification with Error Detection, Diagnosis, and Visualization.
Kai-Hui ChangDavid A. PapaIgor L. MarkovValeria BertaccoPublished in: IEEE Des. Test Comput. (2009)
Keyphrases
- error detection
- fault isolation
- error correction
- error recovery
- data cleansing
- fault tolerance
- model based diagnosis
- error correcting
- fault diagnosis
- error resilient
- diagnostic tests
- model checking
- fault detection
- medical diagnosis
- incremental learning
- data analysis
- error control
- self organizing maps
- visualization tool
- multimedia
- fault localization
- fault tolerant