年度	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