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

Program Analysis: A Hierarchy - WODA 2003
by Andreas Zeller

Proceedings of Workshop on Dynamic Analysis (WODA 2003), May 2003.

Download as PDF file.

See also

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

Abstract

Program analysis tools are based on four reasoning techniques: (1) deduction from code to concrete runs, (2) observation of concrete runs, (3) induction from observations into abstractions, and (4) experimentation to find causes for specific effects. These techniques form a hierarchy, where each technique can make use of lower levels, and where each technique induces capabilities and limits of the associated tools.

BibTeX Entry

@article{zeller-woda-2003,
    title = "Program Analysis: A Hierarchy",
    author = "Andreas Zeller",
    year = "2003",
    month = may,
    booktitle = "Proceedings of Workshop on Dynamic Analysis (WODA 2003)",
    location = "Portland, Oregon",
}

Show all publications of the Software Engineering Chair.