Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti. An automated model-based test oracle for access control systems. In Xiaoying Bai, J. Jenny Li, Andreas Ulrich, editors, Proceedings of the 13th International Workshop on Automation of Software Test, AST@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018. pages 2-8, ACM, 2018. [doi]
Abstract is missing.