An automatic test case generator for evaluating implementation of access control policies. - Marzieh Safarzadeh; Mahboubeh Taghizadeh; Bahman Zamani; Behrouz Tork Ladani (ISC Int. J. Inf. Secur., 2017)