@INPROCEEDINGS{ase2009,
  author = {Michael Pradel and Thomas R. Gross},
  title = {Automatic Generation of Object Usage Specifications from Large Method Traces},
  booktitle = {Automated Software Engineering (ASE)},
  year = {2009}
}