Abstract semantic differencing for numerical programs
Semantic Diff: a tool for summarizing the effects of modifications