×

吉隆坡机场

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）

按年份列出的引文