A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging

Lisa J. Burnell, Eric J. Horvitz

We describe the integration of logical and uncertain reasoning methods to identify the likely source and location of software problems. To date, software engineers have had few too…