克莱

KLEE：为复杂系统程序自动生成高覆盖率测试。符号执行工具KLEE，能够自动生成测试，在一组复杂的环境密集型程序上实现高覆盖率。我们使用kle彻底检查了gnucoreutils实用程序套件中的所有89个独立程序，这些程序构成了安装在数百万个Unix系统上的核心用户级环境，并且可以说是目前测试最为严格的一组开源程序。kle生成的测试实现了较高的覆盖率-平均每个工具超过90%（中位数：超过94%），并且大大超过了开发人员自己的手写测试套件的覆盖率。当我们对BUSYBOX嵌入式系统套件中的75个等效工具做同样的处理时，结果甚至更好，其中31个工具的覆盖率达到100%。我们还使用kle作为缺陷查找工具，将其应用于452个应用程序（总代码行数超过430K行），发现了56个严重的bug，其中包括COREUTILS中的3个，它们已经被遗漏了15年。最后，我们使用kle交叉检查据称相同的BUSY-BOX和COREUTILS实用程序，发现函数正确性错误和大量不一致。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献43条)

显示第1到第20个结果，共43个。
按年份排序(引用)
  1. 贝利斯，萨姆；科迪洛夫，诺迪尔；伊克巴尔，赛义德·M。；贝沙斯特尼克，伊万；霍斯，霍尔格H。；Hu，Alan J.：基于可伸缩约束的虚拟数据中心分配（2020）
  2. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
  3. 哈伊杜，Ákos；Michskei，Zoltán:基于CEGAR的模型检查的有效策略（2020）
  4. 伊什·沙洛姆，奥伦；伊扎基，沙查尔；曼尼维奇，罗马人；Rinetzky，Noam:利用静态分析帮助学习字符串操作程序的伪逆，以自动生成测试（2020）
  5. 阿玛蒂尼，罗伯托；马克·安德隆；恒河，格雷姆；沙赫特，彼得；桑德加德，哈拉尔德；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）
  6. 王文喜；桑德加德，哈拉尔德；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019）
  7. Sung Chungha Sung，Brandon Paulsen，Chao Wang:CANAL:通过LLVM转换的缓存时间分析框架（2018）阿尔十四
  8. 哥德弗洛德，帕特里斯；Sen，Koushik:结合模型检查和测试（2018）
  9. 古普塔、舒巴尼；萨克森那，阿塞姆；马哈扬，安莫尔；Bansal，Sorav:通过不变草图和查询分解有效使用SMT解算器进行程序等价性检查（2018）
  10. 劳科，亨利克；罗查凯，彼得；Barnat，Jiří：通过程序转换进行符号计算（2018）
  11. 赫特，弗兰克；林道尔，马吕斯；巴林特，阿德里安；贝利斯，萨姆；霍斯，霍尔格；凯文·莱顿·布朗：可配置SAT解算器挑战赛（CSSC）（2017）
  12. 诺普，詹斯；科瓦茨，劳拉；Zwirchmayr，Jakob:用积极的知识取代猜想：使用符号执行推断经证实的最坏情况下的精确执行时限（2017）
  13. 七鳃鳗；王加洛瓦，黛安；Hriţcu，Cătălin；休斯，约翰；皮尔斯，本杰明C。；夏，李瑶：初学者的运气：基于财产的发电机的语言（2017）
  14. 卢卡努、多雷尔；拉苏，弗拉德；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）
  15. 阮和武；维默，韦斯特利；卡普尔，迪帕克；Forrest，Stephanie:连接程序综合和可达性：使用测试输入生成自动修复程序（2017）
  16. 罗查，卡米洛；梅斯盖尔，何塞；穆尼奥斯，塞萨尔：改写模块SMT和开放系统分析（2017）
  17. 拉苏，弗拉德；Arusoaie，Andrei:在Maude执行和验证高阶功能命令程序（2017）
  18. 施拉梅尔，彼得；丹尼尔·克罗宁；布莱恩，马丁；马丁斯，鲁本；泰格，蒂诺；Bienemüller，Tom:嵌入式软件的增量有界模型检查（2017）
  19. 斯特罗德，托马斯；吉尔根，吉尔根；布罗克施密特，马克；弗罗恩，弗洛里安；福斯，卡斯滕；亨塞尔，杰拉；施耐德·坎普，彼得；Aschermann，Cornelius:自动证明指针算法程序的终止和内存安全（2017）
  20. 郑云辉；加内什，维杰；苏布拉曼尼亚，萨努；特里普，奥默；贝齐什，墨菲；杜比，朱利安；张向宇：Z3str2：字符串、正则表达式和长度约束的高效求解器（2017）