Refining interprocedural change-impact analysis using equivalence relations
Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush · 2017
Change-impact analysis (CIA) is the task of determining the set of program elements impacted by a program change. Precise CIA has great potential to avoid expensive testing and code reviews for (parts of) changes that are refactorings (semantics-preserving). However most statement-level CIA techniques suffer from imprecision as they do not incorporate the semantics of the change.