Facilitating unreachable code diagnosis and debugging.
Hong-Zu ChouKai-Hui ChangSy-Yen KuoPublished in: ASP-DAC (2011)
Keyphrases
- model based diagnosis
- fault localization
- program understanding
- java programs
- program slicing
- medical diagnosis
- fault detection
- model based reasoning
- source code
- software testing
- fault diagnosis
- expert systems
- diagnostic reasoning
- diagnosis of discrete event systems
- multiple faults
- dynamic systems
- error correcting
- early diagnosis
- traditional chinese medicine
- code generation
- diagnostic tests
- diagnostic process
- programs written
- data sets
- hardware designs
- database