@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@InProceedings{ganapathy-icse05,
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 = ICSE05,
pages = "312--321",
year = "2005",
month = "May",
}