Michael Pradel: Dynamically inferring, refining, and checking API usage protocols. OOPSLA Companion 2009: 773-774