@INPROCEEDINGS{icse2012-statically,
  author = {Michael Pradel and Ciera Jaspan and Jonathan Aldrich and Thomas R. Gross},
  title = {Statically Checking {API} Protocol Conformance with Mined Multi-Object Specifications},
  booktitle = {International Conference on Software Engineering (ICSE)},
  year = {2012}
}