Patch verification via multiversion interprocedural control flow graphs
Identifying Syntactic Differences Between Two Programs