Xu, Dianxiang, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, and Yves Le Traon. 2014. “Automated model-based testing of role-based access control using predicate/transition nets”. IEEE Transactions on Computers 64 (9): 2490-2505. Last updated on 07/19/2023