![Projects](/wp-content/uploads/2014/06/header_consulting_banner.jpg)
“Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets”
Dianxiang Xu, Michael Kent, Lijo Thomas, Tejeddine Mouelhi, and Yves Le Traon
IEEE Transactions on Computers PrePrint, no. 1, pp. 1, doi:10.1109/TC.2014.2375189