SYMDIFF: a language-agnostic semantic diff tool for imperative programs
Semantic Diff: a tool for summarizing the effects of modifications