Web API Verification: Results and Challenges

Arjun Guha, Benjamin S. Lerner, Joe Gibbs Politz, and Shriram Krishnamurthi
Analysis of Security APIs (ASA), 2012

PDF