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, }