@misc{indiciae27dc740b68fa,
  title = {An automated model-based test oracle for access control systems},
  author = {Antonia Bertolino and Said Daoudagh and Francesca Lonetti and Eda Marchetti},
  year = {2018},
  doi = {10.1145/3194733.3194743},
  url = {https://arxiv.org/abs/1809.02724},
  note = {Source identifier: 1809.02724}
}