Uncertainty in Artificial Intelligence
First Name   Last Name   Password   Forgot Password   Log in!
    Proceedings         Authors   Author's Info   Article details         Search    
A Synthesis of Logical and Probabilistic Reasoning for Program Understanding and Debugging
Lisa Burnell, Eric Horvitz
Abstract:
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.
Keywords:
Pages: 285-291
PS Link:
PDF Link: /papers/93/p285-burnell.pdf
BibTex:
@INPROCEEDINGS{Burnell93,
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"
}


hosted by DSL   •   site info   •   help