Code-change impact analysis using counterfactuals

Document Type

Conference Proceeding

Publication Date

11-1-2011

Abstract

In this paper we present a framework for what-if analysis of programs based on Lewis' theory of counterfactuals [1]. The framework can be used to statically perform change-impact analysis for source code. It enables us to verify assertions about a changed version of the program without actually incorporating the changes. We present a logical calculus that precisely characterizes structural modifications to source code and their impact on the behavior of the program. © 2011 IEEE.

Publication Source (Journal or Book title)

Proceedings International Computer Software and Applications Conference

First Page

694

Last Page

699

This document is currently not available here.

Share

COinS