Program Analysis: A Hierarchy
- WODA 2003
by
Andreas Zeller
Proceedings of Workshop on Dynamic Analysis (WODA 2003), May 2003.
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", }