年度	2018
全部作者	郁方
论文名称	Hung-En Wang;Shih-Yu Chen;Fang Yu*;Jie-Hong R. Jiang*, 2018.07, 'A Symbolic Model Checking Approach to the Analysis of String and Length Constraints, ' The 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18), ACM SIGSOFT.(ACM, DBLP, IEEE, CITESEEN)(*为通讯作者)
发表日期	2018-07-01
ISI Number	419123