Diagnostic Reasoning in Software Fault Localization.
Robert L. SedlmeyerWilliam B. ThompsonPaul E. JohnsonPublished in: IJCAI (1983)
Keyphrases
- fault localization
- diagnostic reasoning
- model based diagnosis
- program understanding
- program slicing
- software testing
- dynamic systems
- medical diagnosis
- software development
- model checking
- constraint programming
- test cases
- software systems
- neural network
- influence diagrams
- computational complexity
- probabilistic inference
- reasoning systems
- software maintenance
- sensitivity analysis
- knowledge base