Combining Static and Dynamic Analysis to Discover Software Vulnerabilities | IEEE Conference Publication | IEEE Xplore