软盘 swMATH ID: 12793 软件作者: Lakhotia,K.、Tillmann,N.、Harman,M.、de Halleux,J。 描述: 符号执行的基于FloPSy搜索的浮点约束求解。最近,基于搜索的软件测试(SBST)和动态符号执行(DSE)这两个领域都引起了人们的兴趣。这两种方法各有长处和短处,因此探索一种方法的长处可以在多大程度上抵消另一种方法中的不足是一种自然的选择。本文介绍了DSE的一个增强版本,该版本使用基于SBST的方法来处理浮点计算,这对于普通DSE来说是有问题的。该方法已作为Microsoft Pex DSE测试工具的插件实现。本文介绍了标准评估基准和两个开源程序的结果 主页: http://link.springer.com/chapter/10.1007%2F978-3-642-16573-3_11 相关软件: 澳大利亚;CBMC公司;投掷;GATeL公司;RealPaver公司;国际博协;GKLEE公司;软枪;SoftFloat软件;BAP(BAP);吉隆坡机场;z3(零3);瓦尔格林德 引用于: 1文件 4位作者引用 1 罗伯托·巴格纳拉 1 卡利埃、马蒂厄 1 罗伯塔·戈里 1 阿尔诺·哥特利布 连载1篇 1 信息计算杂志 在2个字段中引用 1 数值分析(65-XX) 1 计算机科学(68至XX) 按年份列出的引文