Ana Milanova, Atanas Rountev, Barbara G. Ryder
Parameterized object sensitivity for points-to and side-effect analyses for Java
ISSTA, 2002.
@inproceedings{ISSTA-2002-MilanovaRR, author = "Ana Milanova and Atanas Rountev and Barbara G. Ryder", booktitle = "{Proceedings of the International Symposium on Software Testing and Analysis}", doi = "10.1145/566172.566174", pages = "1--11", publisher = "{ACM}", title = "{Parameterized object sensitivity for points-to and side-effect analyses for Java}", year = 2002, }