Parameterized object sensitivity for points-to and side-effect analyses for Java.

Ana L. Milanova, Atanas Rountev, Barbara G. Ryder

Browse the full ISSTA paper archive.