• Automated Model-Based Testing...

*Result*: Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets

Title:
Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets
Authors:
Xu, D., Kent, M., Thomas, L., Mouelhi, T., Le Traon, Y.
Source:
IEEE Transactions on Computers IEEE Trans. Comput. Computers, IEEE Transactions on. 64(9):2490-2505 Sep, 2015
Database:
IEEE Xplore Digital Library