TY  - RPRT
TI  - An automated model-based test oracle for access control systems
AU  - Antonia Bertolino
AU  - Said Daoudagh
AU  - Francesca Lonetti
AU  - Eda Marchetti
PY  - 2018
DO  - 10.1145/3194733.3194743
UR  - https://arxiv.org/abs/1809.02724
ID  - 1809.02724
ER  -