Automated security checking and patching using TestTalk | IEEE Conference Publication | IEEE Xplore