Correlate CVE Vulnerabilities to KB Patches via Automation