Detecting and characterizing the effects of software changes is a fundamental component of
software maintenance. Version differencing information can be used to perform version …

Programmers often need to reason about how a program evolved between two or more
program versions. Reasoning about program changes is challenging as there is a significant …

The last few years have seen a resurgence of interest in the use of symbolic execution--a
program analysis technique developed more than three decades ago to analyze program …

A key issue in software evolution analysis is the identification of particular changes that
occur across several versions of a program. We present change distilling, a tree differencing …

In software evolution analysis, many approaches analyze release history data available
through versioning systems. The recent investigations of CVS data have shown that …

Multi-version program analyses require that elements of one version of a program be
mapped to the elements of other versions of that program. Matching program elements …

This paper introduces memoized symbolic execution (Memoise), a new approach for more
efficient application of forward symbolic execution, which is a well-studied technique for …

Software engineers often inspect program differences when reviewing others' code
changes, when writing check-in comments, or when determining why a program behaves …

Numerous techniques involve mining change data captured in software archives to assist
engineering efforts, for example to identify components that tend to evolve together. We …

This paper reports on the design and implementation of Chianti, a change impact analysis
tool for Java that is implemented in the context of the Eclipse environment. Chianti analyzes …