Automated Checking for Windows Host Vulnerabilities. - Matin Tamizi; Matt Weinstein; Michel Cukier (ISSRE, 2005)