@INPROCEEDINGS{issta2012,
  author = {Michael Pradel and Severin Heiniger and Thomas R. Gross},
  title = {Static Detection of Brittle Parameter Typing},
  booktitle = {International Symposium on Software Testing and Analysis (ISSTA)},
  year = {2012}
}