Chen, Erzhuo, Vladislav Dubrovenski, and Dianxiang Xu. 2023. “Coverage-Based Testing of Obligations in NGAC Systems”. In 28th ACM Symposium on Access Control Models and Technologies (SACMAT’23). Last updated on 05/10/2023
