几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. 这个and运算符&是默认值,可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
"准地图", 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
摘要:我们展示了如何将符号执行理解为DPLL(T)算法的变体,DPLL(T)算法是可满足模理论(SMT)问题的主要技术.换句话说,符号执行器就是SMT解算器.这个视图使我们能够使用一个SMT解算器,能够生成关于一组布尔原子的所有模型,来探索程序的所有符号路径.这就为符号执行提供了一种更轻量级的方法.
68N30型 软件工程的数学方面(规范,验证,度量,需求等)
68吨20 人工智能环境下的问题解决(启发式,搜索策略等)
[3] 克莱尔:复杂系统程序的无辅助自动生成高覆盖率测试.OSDI'08,第209-224页.
[4] 克里斯蒂安·卡达尔,帕特里斯·戈德弗里德,萨尔弗拉兹·胡尔希德,科琳娜·S·PăSăreanu,Koushik Sen,尼古拉·蒂尔曼和威廉·维瑟.软件测试中的符号执行:初步评估.在第33届国际软件大会论文集 工程类,ICSE'11,第1066-1071页,美国纽约市,2011年.ACM公司.
[6] R, 西特隆,费兰特,B.K.罗森,M.N.韦格曼和F.K.扎德克.一种计算静态单赋值形式的有效方法.在SIGACM第16次会议计划- SIGACT编程语言原理研讨会1989年,第25-35页,美国纽约州纽约市,1989年.ACM公司.
[8] 莱昂纳多·德穆拉和尼古拉·比约纳.Z3:一个高效的smt求解器.在法律程序 第14届构造和分析工具与算法国际会议 系统,塔卡斯08,337-340页,柏林,海德堡,2008年.斯普林格·维拉格.
[10] 维杰·甘尼什和大卫·L·迪尔.位向量和数组的一种判定过程.在第19届计算机辅助验证国际会议论文集,2007年7月,第519-531页,柏林,海德堡,2007年.斯普林格·维拉格·Zbl 1135.68472
[12] Quoc Sang Phan和Pasquale Malacaria.抽象模型计数:一种量化信息泄漏的新方法.在第九届ACM研讨会论文集 信息,计算机和通信安全,亚洲CCS'14,第283-292页,美国纽约,2014年.ACM公司.
[14] 科琳娜S.PăSăreanu和Neha Rungta.符号探路者:java字节码的符号执行.在IEEE/ACM自动化软件国际会议论文集 工程,2010年,美国纽约,纽约,179-180页.ACM公司.
[15] 罗伯托·塞巴斯蒂安尼.懒惰可满足模理论.布尔可满足性杂志 建模与计算,2007年3:141-224·Zbl 1145.68501
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.