年度	2014
全部作者	郁方
论文名称	Fang Yu*;Muath Alkhalaf;Tevfik Bultan;Oscar H. Ibarra, 2014.01, 'Automata-Based Symbolic String Analysis for Vulnerability Detection, ' Formal Methods in System Design, Vol.44, No.1, pp.44-70.(ACM, DBLP, IEEE, SCI)(*为通讯作者)
卷数	391128
发表日期	2014-01-01
参考连结	http://nccur.lib.nccu.edu.tw/handle/140.119/62193