Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant
Automatic discovery of API-level exploits
ICSE, 2005.
@inproceedings{ICSE-2005-GanapathySJRB, author = "Vinod Ganapathy and Sanjit A. Seshia and Somesh Jha and Thomas W. Reps and Randal E. Bryant", booktitle = "{Proceedings of the 27th International Conference on Software Engineering}", doi = "10.1145/1062455.1062518", editor = "Gruia-Catalin Roman and William G. Griswold and Bashar Nuseibeh", pages = "312--321", publisher = "{ACM}", title = "{Automatic discovery of API-level exploits}", year = 2005, }