Year	2014
Authors	FANG YU
Paper Title	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)(*為通訊作者)
Vol.No	391128
Date of Publication	2014-01-01
Reference URL	http://nccur.lib.nccu.edu.tw/handle/140.119/62193