@inproceedings{oopsla2009-src,
  author    = {Michael Pradel},
  title     = {Dynamically Inferring, Refining, and Checking API Usage Protocols},
  booktitle = {Companion to the Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA)},
  year      = {2009}
}