克莱

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公司