Patch verification via multiversion interprocedural control flow graphs. - Wei Le; Shannon D. Pattison (ICSE, 2014)