Ana Milanova Atanas Rountev Barbara G. Ryder Parameterized object sensitivity for points-to and side-effect analyses for Java. 1-11 2002 ISSTA http://doi.acm.org/10.1145/566172.566174 db/conf/issta/issta2002.html#MilanovaRR02