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


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

    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.