Comparison of software vulnerability auditing tools - Eränen, Harri (2007)