Document Preview Unavailable
An automated model-based test oracle for access control systems
Bertolino, Antonia; Daoudagh, Said; Lonetti, Francesca; Marchetti, Eda. arXiv.org, Sep 8, 2018.You might have access to this document
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library