Automated testing of eXtensible Access Control Markup Language‐based access control systems. - Bertolino, Antonia; Daoudagh, Said; Lonetti, Francesca; Marchetti, Eda; Schilders, Louis (IET Software (Wiley-Blackwell), 2013)