An automated model-based test oracle for access control systems.

Antonia Bertolino, Said Daoudagh, Francesca Lonetti, Eda Marchetti

Browse the full ICSE paper archive.