Probabilistic Points-to Analysis for Java

@inproceedings{Sun-al:CC11,
  author    = {Qiang Sun and
               Jianjun Zhao and
               Yuting Chen},
  title     = {Probabilistic Points-to Analysis for Java},
  booktitle = {CC},
  pages     = {62--81},
  series    = {LNCS},
  volume    = {6601},
  publisher = {Springer},
  year      = {2011},
  doi       = {10.1007/978-3-642-19861-8\_5},
}