摘要
摘要
[ABC+13] 自动化软件测试用例生成方法的协调调查 J系统软件 2013 86 8 1978 2001 10.1016/j.jss.2013.02.061 谷歌学者 
数字图书馆 
[apa18] Apache Commons数学（2018） https://commons.apache.org/ 谷歌学者 【BAA+12】 Borges M、Amorim MD、Anand S、Bushnell D、PSreanu CS（2012）《区间求解和元神经搜索的符号执行》。 2012年IEEE第五届软件测试、验证和确认国际会议（ICST）。 IEEE，第111-120页 谷歌学者 [BEL75] Select–通过符号执行测试和调试程序的正式系统 ACM SigPlan未 1975 10 6 234 245 10.1145/390016.808445 谷歌学者 数字图书馆 [BVLS13] 自动检测浮点异常 ACM SIGPLAN非 2013 48 1 549 560 10.1145/2480359.2429133 谷歌学者 数字图书馆 【CC84】 精确鉴定人类线粒体DNA每条链转录的单个启动子 单元格 1984 36 三 635 643 10.1016/0092-8674（84）90343-X 谷歌学者 [CDE+08] Klee：为复杂系统程序自动生成高覆盖率测试 OSDI公司 2008 8 209 224 谷歌学者 【CG95】 了解大都市-黑斯廷斯算法 美国统计局 1995 49 4 327 335 谷歌学者 [CGK+11] Cadar C、Godefroid P、Khurshid S、PéSéreanu CS、Sen K、Tillmann N、Visser W（2011）《软件测试实践中的符号执行：初步评估》。 摘自：第33届国际软件工程会议记录。ACM，第1066–1071页 谷歌学者 [第76条] 一种生成测试数据并象征性地执行程序的系统 IEEE Trans软件工程 1976 三 215 222 428759 10.1109/TSE.1976.233817 谷歌学者 数字图书馆 【cxt18】 圈复杂度（2018） http://eclemma.org/jacoco/trunk/doc/counter.html 谷歌学者 【DA14】 Dinges P，Agha G（2014）通过对诱导多边形的启发式搜索解决复杂路径条件。 摘自：第22届ACM SIGSOFT软件工程基础国际研讨会论文集。ACM，第425-436页 谷歌学者 [达沃斯73] 希尔伯特的第十个问题无法解决 上午数学周一 1973 80 三 233 269 317916 10.1080/00029890.1973.11993265 谷歌学者 【FHT+07】 具有复杂布尔结构的大型非线性算术约束系统的有效求解 J满足布尔模型计算 2007 1 209 236 1144.68371 谷歌学者 [FS16] 傅周来，S.，振东，：Xsat：一个快速浮点可满足性求解器。 摘自：Chaudhuri，S.，Farzan，A.（编辑）计算机辅助验证，第187-209页。 查姆施普林格（2016） 谷歌学者 【GFA13】 Galeotti JP、Fraser G、Arcuri A（2013）通过动态符号执行改进基于搜索的测试套件生成。 2013年IEEE第24届软件可靠性工程国际研讨会（ISSRE）。 IEEE，第360–369页 谷歌学者 【GKS05】 Dart：定向自动随机测试 ACM Sigplan非 2005 40 6 213 223 10.1145/1064978.1065036 谷歌学者 数字图书馆 [Glob90] 禁忌搜索：教程 接口 1990 20 4 74 94 10.1287/内部204.74 谷歌学者 数字图书馆 【苟09】 GNU科学图书馆参考手册 2009 萨里 网络理论有限公司 谷歌学者 数字图书馆 【GRs04】 Gies D，Rahmat-samii Y（2004）用于反射器天线成形的粒子群优化（pso）。 2004年天线与传播学会国际研讨会。 IEEE，第3卷，第2289–2292页 谷歌学者 [小时00分] 使用java pathfinder对java程序进行模型检查 国际J Softw Tools Technol Transf 2000 2 4 366 381 10.1007/s100090050043 谷歌学者 [jac18] 雅各布（2018） http://www.eclemma.org/jacoco/ 谷歌学者 [JDM12] 求解非线性算法 自动推理 2012 柏林 施普林格 339 354 10.1007/978-3-642-31365-3_27 谷歌学者 数字图书馆 [亲属76] 符号执行和程序测试 通用ACM 1976 19 7 385 394 418502 10.1145/360248.360252 谷歌学者 数字图书馆 [着陆+16] Luckow K，DimjaševićM，Giannakopoulou D，Howar F，Isberner M，Kahsai T，RakamarićZ，Raman V（2016）JDart:动态符号分析框架。收录：Chechik M，Raskin J-F（eds）第22届系统构建与分析工具与算法国际会议论文集，计算机科学课堂讲稿， 第9636卷。 施普林格，柏林，第442–459页 谷歌学者 [LGS96] 提高免疫金标记冰冻切片的结构完整性 组织化学细胞生物学 1996 106 1 41 58 2007年10月10日/BF02473201 谷歌学者 [LLQ+16] Li X，Liang Y，Qian H，Hu Y-Q，Bu L，Yu Y，Chen X，Li X（2016）基于机器学习的约束求解驱动的复杂程序的符号执行。 参见：Lo D、Apel S、Khurshid S（eds）《第31届IEEE/ACM自动化软件工程国际会议论文集》，ASE 2016，新加坡，2016年9月3-7日。 ACM，第554-559页 谷歌学者 [McM04] 基于搜索的软件测试数据生成：一项调查 软件测试验证可靠性 2004 14 2 105 156 10.1002/stvr.294 谷歌学者 [最小18] 迷你锌（2018） http://www.minizinc.org/ 谷歌学者 【Mun14】 从土匪到蒙特卡洛树搜索：乐观原理在优化和规划中的应用 发现趋势机器学习 2014 7 1 1 130 10.1561/2200000038 谷歌学者 数字图书馆 【PR10】 Péséreau CS，Rungta N（2010）《符号探索者：java字节码的符号执行》。 摘自：IEEE/ACM自动化软件工程国际会议论文集。ACM，第179-180页 谷歌学者 [2007年前] 数字配方：科学计算的艺术 2007 三 剑桥 剑桥大学出版社 1132.65001 谷歌学者 【PRV11】 Péséreanu CS，Rungta N，Visser W（2011）混合混凝土符号求解的符号执行。 摘自：2011年软件测试与分析国际研讨会论文集。 ACM，第34–44页 谷歌学者 【PV09】 软件测试和分析中符号执行的新趋势综述 国际J Softw Tools Technol Transf 2009 11 4 339 353 2007年10月10日/10009-009-0118-1 谷歌学者 [PVB+13] 符号探索者：集成符号执行和模型检查以进行java字节码分析 自动软件工程师 2013 20 三 391 425 2007年10月10日/10515-013-0122-2 谷歌学者 [第16季度] Qian H，Yu Y（2016）关于离散域中的采样和分类优化。 摘自：2016年IEEE进化计算大会（CEC'16）会议记录，加拿大温哥华，第4374-4381页 谷歌学者 【SA06】 Cute和jcute：协调单元测试和显式路径模型检查工具 计算机辅助验证 2006 柏林 施普林格 419 423 10.1007/11817963_38 谷歌学者 数字图书馆 [SB14] Shafiei N，van Breugel F（2014）《java探路者中本地方法的自动处理》。 在：2014年SPIN软件模型检查国际研讨会论文集。 ACM，第97–100页 谷歌学者 【SBdP11】 Coral：为符号探路者解决复杂约束 NASA形式化方法 2011 柏林 施普林格 359 374 10.1007/978-3-642-20398-5_26 谷歌学者 交叉引用 
[sci18] 科学计算（2018） https://github.com/elizabethzhenliu/SientificComputation（科学计算） 谷歌学者 [森07] Sen K（2007）《酒精测试》。 摘自：第二十二届IEEE/ACM自动化软件工程国际会议论文集。ACM，第571-572页 谷歌学者 [SSW+16] Bobak，S.，Kevin，S.，Ziyu，W.，Adams-Ryan，P.，de Freitas Nando，：将人类从循环中剔除：贝叶斯优化综述。 程序IEEE 104 (1), 148–175 (2016) 谷歌学者 【TDH08】 Tillmann N，De Halleux J（2008）Pex–白盒测试生成。 净值。 In：测试和证明。 柏林施普林格，第134-153页 谷歌学者 【YQH16】 Yu Y，Qian H，Hu Y-Q（2016）分类无导数优化。 摘自：亚利桑那州凤凰城第30届AAAI人工智能会议（AAAI'16）会议记录 谷歌学者 【YQH17】 Yu Y，Hu Y-Q，Qian H（2017）基于序列分类的直接策略搜索优化。 收录：第31届美国人工智能学会人工智能会议（AAAI’17）会议记录，加利福尼亚州旧金山，第2029-2035页 谷歌学者
建议
基于机器学习的约束求解驱动复杂程序的符号执行 ASE’16：第31届IEEE/ACM自动化软件工程国际会议论文集 符号执行是一种广泛使用的程序分析技术。 它收集并求解路径条件以指导程序遍历。 然而，由于当前约束求解器的局限性，很难将符号执行应用于。。。 多重符号执行：通过一次求解探索多条路径 ASE’20：第35届IEEE/ACM自动化软件工程国际会议论文集 路径爆炸和约束求解是符号执行可伸缩性的两大挑战。 符号执行通过搜索策略探索程序的路径空间，并以黑盒方式调用底层约束求解器来检查。。。
