Dynamically inferring, refining, and checking API usage protocols.

Michael Pradel

Browse the full OOPSLA paper archive.