Practical API Protocol Checking with Access Permissions.

Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich

Browse the full ECOOP paper archive.