Automated Security Test Generation with Formal Threat Models | IEEE Journals & Magazine | IEEE Xplore