Semantic Diff: a tool for summarizing the effects of modifications | IEEE Conference Publication | IEEE Xplore