@inproceedings{gsjrb:apiexploits:icse2005,
  author = {Vinod Ganapathy and Sanjit A. Seshia and Somesh Jha and Thomas W. Reps and Randal E. Bryant},
  title = {Automatic Discovery of API-Level Exploits},
  booktitle = {ICSE'05: Proceedings of the 27th International Conference on Software Engineering},
  month = {May},
  year = {2005},
  pages = {312--321},
  address = {St. Louis, MO, USA},
  doi = {10.1145/1062455.1062518},
  publisher = {ACM Press, New York, NY, USA}
}