Patch verification via multiversion interprocedural control flow graphs.

Wei Le, Shannon D. Pattison

Browse the full ICSE paper archive.