@第{zbMATH06310033条，作者={Yu，Fang and Alkhalaf，Muath and Bultan，Tevfik and Ibarra，Oscar H.}，Title={基于自动符号字符串分析的漏洞检测}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积＝{44}，数字={1}，页码={44--70}，年份={2014}，语言={英语}，DOI={10.1007/s10703-013-0189-1}，关键词={68Q60，68Q45,68M11}，zbMATH={6310033}，Zbl={1291.68272}}