Code-Change Impact Analysis Using Counterfactuals

Code-Change Impact Analysis Using Counterfactuals: Theory and Implementation

“…The present article expands the proof presented in [16] and strengthens the theoretical claims made in [16] by providing an implementation section coupled with experimental results.…”

“…This section enhances the contributions presented in [16] by adding a proof of the Partial Transitivity Theorem. The latter was adopted as a rule of inference and, jointly with the fragment of counterfactual logic presented in this section, is tantamount to the main proof shown in Sec.…”

“…We provide a possible world semantics of the counterfactual logic based on the neighborhood semantics of Kripke. The de¯nitions and concepts exposed in this section were already given in [16]. In this instance, we provide examples to solidify the reader's understanding.…”

“…In [16] we brie°y showed that counterfactual logic could be used as a tool to verify the e®ects of source-code changes before applying the changes to the source code. The present article expands the proof presented in [16] and strengthens the theoretical claims made in [16] by providing an implementation section coupled with experimental results.…”