TITLE     : An automated model-based test oracle for access control systems
AUTHOR(S) : Bertolino A, Daoudagh S, Lonetti F, Marchetti E
TYPE      : Conference article
YEAR      : 2018
CODE      : 395460

*** DO NOT EDIT THIS FILE ***