Automatic discovery of API-level exploits.

Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant

Browse the full ICSE paper archive.