×

吉隆坡机场

swMATH ID: 4894
软件作者： 克里斯蒂安·卡达尔、丹尼尔·邓巴、道森·恩格尔
描述： KLEE：复杂系统程序高覆盖测试的无辅助自动生成。符号执行工具KLEE能够自动生成测试，在各种复杂且环境密集型的程序集上实现高覆盖率。我们使用KLEE彻底检查了GNU COREUTILS实用程序套件中的所有89个独立程序，这些程序构成了安装在数百万Unix系统上的核心用户级环境，可以说是目前测试最严格的一组开源程序。KLEE产生的测试实现了高线路覆盖率-平均超过90
主页： http://llvm.org/pubs/2008-12-OSDI-KLEE.html
关键词： 复杂系统程序高覆盖测试的无辅助自动生成
相关软件： z3型;可爱的;投掷;CPA检查器;CBMC公司;污水处理厂;SMT-LIB公司;jCUTE公司;有限责任公司;爆炸;派克斯;超小卫星;Coq公司;Java PathFinder;伊莎贝尔/HOL;VCC（沃尔沃汽车公司）;Why3号机组;薄片;SLAM公司;github
引用于： 43文件
全部的 前5名

131位作者引用

4 斯蒂芬·西格尔（Stephen F.Siegel）。
4 蒂莫西·齐科尔。
2 安德烈·阿鲁索艾
2 弗拉德·鲁苏
2 马雷克·特里克
1 科尼利厄斯·阿斯切尔曼
1 Domagoj Babić
1 阿德里安·巴林特
1 索拉夫·班萨尔
1 马雷克·巴拉诺夫斯基
1 哈尼尔·巴博萨
1 吉里巴纳特
1 克拉克·W·巴雷特。
1 费边·鲍尔·马尔夸特
1 萨姆·贝利斯
1 墨菲·贝尔齐什
1 汤姆·比恩米勒
1 丹尼·鲍尔森（Danny Bougsted Poulsen）
1 马塞洛·玛丽亚·邦桑格
1 马特科·博廷坎
1 布莱恩，马丁
1 马克·布罗克施米特
1 萨加·查基
1 萨迪普塔·查托帕迪耶
1 Chong，内森
1 德波尔，弗兰克·S。
1 朱利安·杜比
1 阿拉斯泰尔·唐纳森。
1 马修·B·德怀尔。
1 斯蒂芬妮·福雷斯特
1 弗洛里安·弗洛恩
1 卡斯滕·福斯
1 戴安·加洛瓦·旺
1 维杰·加内什
1 普拉纳夫·加格
1 布雷迪·J·加文。
1 杰克·J·加泽拉。
1 吉尔根·吉斯尔
1 帕特丽斯·戈德弗里德
1 亚历克斯·格罗斯
1 林赛·格罗夫斯。
1 舒巴尼·古普塔
1 阿科斯·哈伊杜
1 克劳斯·哈维隆德
1 何绍波
1 弗雷德里克·海丁
1 凯乔·赫尔扬科
1 杰拉·亨塞尔
1 安德烈亚斯·霍尔泽
1 杰拉德·J·霍尔兹曼。
1 霍尔格·H·胡斯。
1 Hriţcu，科特林
1 约翰·休斯
1 弗兰克·哈特
1 奥伦·伊什·沙洛姆
1 沙迦·伊扎基
1 拉杰夫·乔希
1 迪帕克·卡普尔
1 Sotirios Katsikeas公司
1 杰罗·凯特马
1 詹斯·努普
1 德米特里·孔德拉特埃夫（Dmitri Kondrat’ev），阿列克桑德罗维奇（Aleksandrovich）
1 鲍里斯·科普夫
1 Kovács，Laura Ildikó
1 波胡斯拉夫·科埃纳
1 丹尼尔·科宁
1 米贾·库尔琴斯基
1 罗伯特·拉格斯特罗姆
1 莱昂尼达斯·兰普罗普洛斯
1 亨利克·劳科
1 斯特凡·洛伊
1 凯文·莱顿·布朗
1 马吕斯·林道尔
1 克里斯托夫·勒丁
1 凯文·洛茨
1 多雷尔·卢卡努
1 帕塔萨拉西马杜苏丹
1 安莫尔·马哈扬
1 罗马人Manevich
1 鲁本·马丁斯
1 何塞·梅塞盖尔·瓜伊塔
1 佐尔坦·米斯克
1 塞萨尔·穆尼奥斯。
1 丹尼尔·奈德
1 Nguyen，Thanhvu H。
1 艾娜·尼梅茨
1 安德烈斯·诺兹利
1 德克·诺沃特卡
1 Obdr zalek，简
1 大卫·J·皮尔斯。
1 本杰明·皮尔斯。
1 马蒂亚斯·普雷纳
1 茨沃尼米尔·拉卡马里奇
1 安德鲁·雷诺兹
1 塔马拉·雷兹克
1 诺姆·里内茨基
1 对手，泽维尔
1 卡米洛·罗查
1 彼得·罗奇凯
1 普里塔姆·罗伊
…还有31位作者
全部的 前5名

12篇连载文章中引用

4 自动推理杂志
三 系统设计中的形式化方法
三 程序设计中的逻辑和代数方法杂志
2 符号计算杂志
2 计算的形式方面
2 计算机科学中的数学
1 人工智能
1 国际通用系统杂志
1 实时系统
1 数学与人工智能年鉴
1 计算机科学评论
1 Modelirovanie i Analiz信息系统
全部的 前5名

在6个字段中引用

43 计算机科学（68至XX）
三 数学逻辑和基础（03-XX）
2 数值分析（65-XX）
2 信息与通信理论、电路（94-XX）
1 流体力学（76-XX）
1 量子理论（81-XX）

按年份列出的引文