A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities. - Hanna, Aiman; Ling, Hai Zhou; Yang, Xiaochun; Debbabi, Mourad (2009)