A Hybrid Approach to Detecting Security Defects in Programs. - Lian Yu; Jun Zhou; Yue Yi; Jianchu Fan; Qianxiang Wang (QSIC, 2009)