Mitigating program security vulnerabilities: Approaches and challenges
Automatic Testing of Program Security Vulnerabilities