吉隆坡机场 swMATH ID: 4894 软件作者: 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔 描述: KLEE:复杂系统程序高覆盖测试的无辅助自动生成。符号执行工具KLEE能够自动生成测试,在各种复杂且环境密集型的程序集上实现高覆盖率。我们使用KLEE彻底检查了GNU COREUTILS实用程序套件中的所有89个独立程序,这些程序构成了安装在数百万Unix系统上的核心用户级环境,可以说是目前测试最严格的一组开源程序。KLEE生成的测试实现了高端覆盖-平均超过90 主页: http://llvm.org/pubs/2008-12-OSDI-KLEE.html 关键词: 复杂系统程序高覆盖测试的无辅助自动生成 相关软件: z3(零3);投掷;可爱的;CPA检查器;有限责任公司;污水处理厂;CBMC公司;SMT-LIB公司;jCUTE公司;派克斯;超小卫星;爆炸;Java PathFinder;薄片;卫星抗体;不明飞行物;VCC(沃尔沃汽车公司);SLAM公司;Why3号机组;网络服务提供商 引用于: 37出版物 全部的 前5名111位作者引用 4 斯蒂芬·西格尔(Stephen F.Siegel)。 4 蒂莫西·齐科尔。 三 哈拉尔德·森德加德 三 彼得·詹姆斯·斯塔基 2 罗伯托·阿马迪尼 2 安德烈·阿鲁索艾 2 格雷姆·恒河 2 丹尼尔·科宁 2 弗拉德·鲁苏 2 彼得·沙赫特 2 迈克尔·陶奇尼格 2 马雷克·特里克 1 马克·安德隆 1 科尼利厄斯·阿斯切尔曼 1 Domagoj Babić 1 阿德里安·巴林特 1 索拉夫·班萨尔 1 马雷克·巴拉诺夫斯基 1 JiříBarnat 1 萨姆·贝利斯 1 墨菲·贝尔齐什 1 汤姆·比恩米勒 1 马塞洛·玛丽亚·邦桑格 1 马特科·博廷坎 1 布莱恩,马丁 1 马克·布罗克施米特 1 萨迪普塔·查托帕迪耶 1 内森·冲 1 拜伦·库克 1 德波尔(Frank S。 1 朱利安·杜比 1 阿拉斯泰尔·唐纳森。 1 马修·德怀尔。 1 斯蒂芬妮·福雷斯特 1 弗洛里安·弗洛恩 1 卡斯滕·福斯 1 戴安·加洛瓦·旺 1 维杰·加内什 1 普拉纳夫·加格 1 布雷迪·J·加文。 1 杰克·J·加泽拉。 1 吉尔根·吉斯尔 1 帕特丽斯·戈德弗里德 1 亚历克斯·格罗斯 1 舒巴尼·古普塔 1 阿科斯·哈伊杜 1 克劳斯·哈维隆德 1 何绍波 1 凯乔·赫尔扬科 1 杰拉·亨塞尔 1 安德烈亚斯·霍尔泽 1 杰拉德·J·霍尔兹曼。 1 霍尔格·H·胡斯。 1 Hriţcu,科特林 1 弗兰克·哈特 1 奥伦·伊什·沙洛姆 1 沙迦·伊扎基 1 拉杰夫·乔希 1 迪帕克·卡普尔 1 杰罗·凯特马 1 卡里姆·卡泽姆 1 詹斯·努普 1 鲍里斯·科普夫 1 科瓦奇,劳拉·伊尔迪科 1 波胡斯拉夫·科埃纳 1 莱昂尼达斯·兰普罗普洛斯 1 亨利克·劳科 1 凯文·莱顿·布朗 1 马吕斯·林道尔 1 克里斯托夫·Löding 1 多雷尔·卢卡努 1 帕塔萨拉西马杜苏丹 1 安莫尔·马哈扬 1 罗马人Manevich 1 鲁本·马丁斯 1 何塞·梅塞盖尔·瓜伊塔 1 佐尔坦·米斯克 1 塞萨尔·穆尼奥斯。 1 丹尼尔·奈德 1 Nguyen,Thanhvu H。 1 Obdr zalek,简 1 本杰明·皮尔斯。 1 茨沃尼米尔·拉卡马里奇 1 诺姆·里内茨基 1 卡米洛·罗查 1 彼得·罗奇凯 1 阿比克·罗伊乔杜里 1 安德烈·里巴尔琴科 1 奥利·萨里基维 1 阿西姆·萨克森纳 1 克里斯蒂安·夏尔哈特 1 彼得·施奈德·坎普 1 彼得·施拉梅尔 1 塞·库什克 1 埃琳娜·谢尔曼 1 斯特雷切克,简 1 托马斯·斯特罗德 1 萨努苏布拉曼尼亚语 1 塞尔达尔·塔西兰 1 蒂诺·特伊格 …还有11位作者 全部的 前5名10篇连载文章中引用 三 自动推理杂志 三 系统设计中的形式化方法 三 程序设计中的逻辑和代数方法杂志 2 符号计算杂志 2 计算的形式方面 2 计算机科学中的数学 1 人工智能 1 国际通用系统杂志 1 实时系统 1 数学与人工智能年鉴 全部的 前5名在6个字段中引用 37 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 数值分析(65-XX) 1 流体力学(76-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文