克莱

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

此软件的关键字

画布中支持的任何元素都将被替换

zbMATH参考文献（42篇文章引用）

显示第1到第20个结果，共42个。
按年份排序(引用)
  1. Bayless，Sam；Kodirov，Nodir；Iqbal，Syed M.；Beschatnikh，Ivan；Hoos，Holger H.；Hu，Alan J.：基于可伸缩约束的虚拟数据中心分配（2020年）
  2. Garzella，Jack J.；Baranowski，Marek；He，Shaobo；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020年）
  3. Hajdu，Ákos；Micskei，Zoltán:基于CEGAR的模型检查的有效策略（2020年）
  4. 伊什·沙洛姆，奥伦；伊扎基，沙查尔；曼尼维奇，罗曼；里涅茨基，诺姆：利用静态分析帮助学习字符串操作程序的伪逆，以自动生成测试（2020年）
  5. Amadini，Roberto；Andrlon，Mak；Gange，Graeme；Schachte，Peter；Søndergaard，Harald；Stuckey，Peter J.：JavaScript动态符号执行的约束编程（2019）
  6. Wang，Wenxi；Søndergaard，Harald；Stuckey，Peter J.：Wombit：使用词级传播的投资组合位向量解算器（2019年）
  7. Sung Chungha Sung，Brandon Paulsen，Chao Wang:CANAL:通过LLVM转换的缓存时间分析框架（2018）第十四章
  8. Godefrod，Patrice；Sen，Koushik:结合模型检查和测试（2018）
  9. Gupta，Shubhani；Saxena，Aseem；Mahajan，Anmol；Bansal，Sorav:通过不变草图绘制和查询分解有效地使用SMT解算器进行程序等价性检查（2018年）
  10. 劳科，亨里希；罗凯，佩特；巴纳特，吉ří：通过程序转换的符号计算（2018）
  11. Hutter，Frank；Lindauer，Marius；Balint，Adrian；Bayless，Sam；Hoos，Holger；Leyton Brown，Kevin:可配置SAT解算器挑战赛（CSSC）（2017）
  12. Knoop，Jens；Kovács，Laura；Zwirchmayr，Jakob:用积极的知识取代猜想：使用符号执行推断经证实的最坏情况下的精确执行时限（2017）
  13. Lampropoulos，Leonidas；Galois Wong，Diane；Hriţcu，Cătălin；Hughes，John；Pierce，Benjamin C.；Xia，Li yao：《初学者的运气：基于财产的发电机的语言》（2017）
  14. Lucanu，Dorel；Rusu，Vlad；Arusoaie，Andrei：《符号执行的一般框架：一种共同归纳法》（2017）
  15. Rocha，Camilo；Meseguer，José；Muñoz，César：重写模块SMT和开放系统分析（2017）
  16. Rusu，Vlad；Arusoaie，Andrei:在Maude执行和验证高阶功能命令程序（2017）
  17. Schrammel，Peter；Krooning，Daniel；Brain，Martin；Martins，Ruben；Teige，Tino；Bienmüller，Tom:嵌入式软件的增量有界模型检查（2017）
  18. Thomas Ströder；Giesl，Jürgen；Brockschmidt，Marc；Frohn，Florian；Fuhs，Carsten；Hensel，Jera；Schneider Kamp，Peter；Ascherman，Cornelius:自动证明指针算法程序的终止和内存安全（2017）
  19. Zheng，Yunhui；Ganesh，Vijay；Subramanian，Sanu；Tripp，Omer；Berzish，Murphy；Dolby，Julian；Zhang，Xiangyu:Z3str2：字符串、正则表达式和长度约束的有效解算器（2017）
  20. 动态漏洞检测工具：Jin-Jun He，2016；taint-War-Tain软件；DDU-Zouioport公司