Automated test generation for access control policies.

Evan Martin

Browse the full OOPSLA paper archive.