Xu, Dianxiang, Lijo Thomas, Michael Kent, Tejeddine Mouelhi, and Yves Le Traon. 2012. “A model-based approach to automated testing of access control policies”. Proceedings of the 17th ACM Symposium on Access Control Models and Technologies, 209-18. Last updated on 07/19/2023