Thomas W. Reps Genevieve Rosay Precise Interprocedural Chopping. 41-52 1995 SIGSOFT FSE http://doi.acm.org/10.1145/222124.222138 db/conf/sigsoft/fse95.html#RepsR95