A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
Lisa J. BurnellEric HorvitzPublished in: CoRR (2013)
Keyphrases
- probabilistic reasoning
- program understanding
- probabilistic logic
- fault localization
- lambda calculus
- probabilistic knowledge
- reverse engineering
- software maintenance
- bayesian networks
- first order logic
- source code
- constraint satisfaction
- probabilistic inference
- belief networks
- knowledge representation
- model based diagnosis
- logic programming
- statistical relational learning
- abductive reasoning
- fault detection
- program comprehension
- neural network
- software testing
- software quality
- data abstraction
- software engineering
- computational complexity
- training data