An Automated Approach for Identifying Potential Vulnerabilities in Software. - Anup K. Ghosh; Tom O'Connor; Gary McGraw (S&P, 1998)