@inproceedings{xu-issta08,
  author = "Guoqing Xu and Atanas Rountev",
  title = "Merging Equivalent Contexts for Scalable Heap-Cloning-Based Context-Sensitive Points-to Analysis",
  booktitle = "International Symposium on Software Testing and Analysis",
  year = 2008,
  pages = "225-236"
}