Automatic discovery of API-level exploits.

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

Published in: ICSE (2005)

Keyphrases

automatic discovery
web services
cooperative
source code
semantic web services
information systems
intelligent systems
semantic web