A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging.
Lisa J. BurnellPublished in: UAI (1993)
Keyphrases
- probabilistic reasoning
- program understanding
- probabilistic logic
- fault localization
- lambda calculus
- probabilistic knowledge
- reverse engineering
- bayesian networks
- first order logic
- probabilistic inference
- software maintenance
- constraint satisfaction
- source code
- belief networks
- program comprehension
- model based diagnosis
- logic programming
- knowledge representation
- software reuse
- software testing
- statistical relational learning
- fault detection
- software engineering
- software quality
- object oriented
- open source
- data abstraction
- database
- message passing
- constraint satisfaction problems
- case study
- artificial intelligence