Heuristic Path Pruning Algorithm Based on Error Handling Pattern Recognition in Detecting Vulnerability. - Dong Chen 006; Yang Zhang 021; Liang Cheng 004; Yi Deng 002; Xiaoshan Sun (COMPSAC Workshops, 2013)