Towards Architectural Pen Test Case Generation and Attack Surface Analysis to Support Secure Design | IEEE Conference Publication | IEEE Xplore