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
