A Method of Software Defects Mining Based on Static Analysis. - Xiaochen Lai; Kuanjiu Zhou; Likun Li; Lemin Tang; Yanshuang Yao; Liang Yu (IEA/AIE, 2012)