Guoqing (Harry) Xu, Atanas Rountev
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis
ISSTA, 2008.
@inproceedings{ISSTA-2008-XuR,
author = "Guoqing (Harry) Xu and Atanas Rountev",
booktitle = "{Proceedings of the 17th International Symposium on Software Testing and Analysis}",
doi = "10.1145/1390630.1390658",
isbn = "978-1-60558-050-0",
pages = "225--236",
publisher = "{ACM}",
title = "{Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis}",
year = 2008,
}











