Mutation Analysis of NGAC Policies. - Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu (SACMAT, 2021)

SMT-Based Verification of NGAC Policies. - Vladislav Dubrovenski; Erzhuo Chen; Dianxiang Xu (COMPSAC, 2023)

Dynamic Access Control with Administrative Obligations: A Case Study. - Vladislav Dubrovenski; Md Nazmul Karim; Erzhuo Chen; Dianxiang Xu (QRS Companion, 2023)

Coverage-Based Testing of Obligations in NGAC Systems. - Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu (SACMAT, 2023)

Detecting Errors in NGAC Policies via Fault-Based Testing. - Erzhuo Chen; Vladislav Dubrovenski; Dianxiang Xu (IEEE Trans. Dependable Secur. Comput., 2025)