多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:共创方法。 (英语) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: DOI程序 哈尔
奥利·萨里基维;凯乔·赫尔扬科 LCTD:LLVM上C程序的测试指导证明。 (英语) Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85,第6期,1292-1317(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko},J.Log。阿尔盖布。方法计划。85,第6号,1292--1317(2016;Zbl 1392.68149) 全文: DOI程序
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 基于语言转换的符号执行。 (英语) Zbl 1387.68047号 计算。语言系统。结构。 44,A部分,48-71(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,计算。语言系统。结构。44,A部分,48--71(2015;Zbl 1387.68047) 全文: DOI程序 哈尔
弗雷德·梅斯纳德;埃蒂安·佩耶特;德国维达尔 逻辑编程中的一致性测试。 (英语) Zbl 1379.68078号 理论实践。日志。程序。 15,No.4-5,711-725(2015).MSC公司:第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Mesnard}等人,《理论与实践》。日志。程序。15,编号4--5,711--725(2015;Zbl 1379.68078) 全文: DOI程序 arXiv公司
伊斯坦布尔卡达尔;佩特尔·赫格德·吕斯;鲁道夫·费伦茨 使用符号执行的Java程序中的运行时异常检测。 (英语) Zbl 1313.68025号 《网络学报》。 21,第3期,331-352(2014).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{I.Kádár}等人,《赛博人法案》。21,第3号,331--352(2014;Zbl 1313.68025) 全文: DOI程序 链接
萨帕里亚克里希纳莫奥斯蒂;Michael S.肖。;洛加那坦林加潘 程序的可扩展符号执行驱动测试生成策略。 (英语) Zbl 1267.68094号 科学。中国,信息科学。 54,第9期,1797-1812(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishnamoorthy}等人,科学。中国,信息科学。54,No.9,1797--1812(2011;Zbl 1267.68094) 全文: DOI程序 链接