Aiman Hanna Hai Zhou Ling Xiaochun Yang Mourad Debbabi A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities. 815-832 2009 OTM Conferences (2) http://dx.doi.org/10.1007/978-3-642-05151-7_5 conf/otm/2009-2 db/conf/otm/otm2009-2.html#HannaLYD09