Milanova, Rountev, Ryder, 2005. Parameterized object sensitivity for points-to analysis for Java 14.. https://doi.org/10.1145/1044834.1044835