A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
Lisa Burnell, Eric 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 tools for identifying the sources of error in complex software packages. We describe a method for diagnosing software problems through combining logical and uncertain reasoning analyses. Our preliminary results suggest that such methods can be of value in directing the attention of software engineers to paths of an algorithm that have the highest likelihood of harboring a programming error.
PDF Link: /papers/93/p285-burnell.pdf
AUTHOR = "Lisa Burnell
and Eric Horvitz",
TITLE = "A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging",
BOOKTITLE = "Proceedings of the Ninth Conference Annual Conference on Uncertainty in Artificial Intelligence (UAI-93)",
PUBLISHER = "Morgan Kaufmann",
ADDRESS = "San Francisco, CA",
YEAR = "1993",
PAGES = "285--291"