An automated approach for identifying potential vulnerabilities in software | IEEE Conference Publication | IEEE Xplore