Property-testing real-world authorization systems.

Alireza Sharifi, Paul Bottinelli, Mahesh V. Tripunitara

Browse the full SACMAT paper archive.