A methodology for automated penetration testing of cloud applications. (3rd February 2020)