Practical API Protocol Checking with Access Permissions

Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich. Practical API Protocol Checking with Access Permissions. In Sophia Drossopoulou, editor, ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings. Volume 5653 of Lecture Notes in Computer Science, pages 195-219, Springer, 2009. [doi]

Authors

Kevin Bierhoff

This author has not been identified. Look up 'Kevin Bierhoff' in Google

Nels E. Beckman

This author has not been identified. Look up 'Nels E. Beckman' in Google

Jonathan Aldrich

This author has not been identified. Look up 'Jonathan Aldrich' in Google