@ARTICLE{tse2013,
  author = {Michael Pradel and Thomas R. Gross},
  title = {Name-based Analysis of Equally Typed Method Arguments},
  journal = {IEEE Transactions on Software Engineering},
  year = {2013}
}