Coverage-Based Testing of Obligations in NGAC Systems.

Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu

Browse the full SACMAT paper archive.