Automatic Testing of Program Security Vulnerabilities | IEEE Conference Publication | IEEE Xplore