×

软盘

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文件

连载1篇

1 信息计算杂志

按年份列出的引文