This is an archive of the old software engineering chair at Saarland University. It is no longer up-to-date.

Causes and Effects in Computer Programs - AADEBUG 2003
by Andreas Zeller

Proceedings of the 5th Intl. Workshop on Automated and Algorithmic Debugging (AADEBUG 2003), September 2003.

Download as PDF file.

See also

More information is available at http://www.st.cs.uni-saarland.de/dd/.

Abstract

Debugging is commonly understood as finding and fixing the cause of a problem. But what does "cause" mean? How can we find causes? How can we prove that a cause is a cause-or even "the" cause? This paper defines common terms in debugging, highlights the principal techniques, their capabilities and limitations.

BibTeX Entry

@article{zeller-aadebug-2003,
    title = "Causes and Effects in Computer Programs",
    author = "Andreas Zeller",
    year = "2003",
    month = sep,
    booktitle = "Proceedings of the 5th Intl. Workshop on Automated and Algorithmic Debugging (AADEBUG 2003)",
    location = "Ghent, Belgium",
}

Show all publications of the Software Engineering Chair.