An Automated Framework for Continuous Development and Testing of Access Control Systems Romy 21 September 2021