Differential symbolic execution
Semantic Diff: a tool for summarizing the effects of modifications