吉隆坡机场 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公司;有限责任公司;爆炸;派克斯;超小卫星;Coq公司;Java PathFinder;伊莎贝尔/HOL;VCC(沃尔沃汽车公司);为什么3;薄片;砰的一声;Yices公司 引用于: 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 内森·冲 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 杰拉·亨塞尔 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 科瓦奇,劳拉·伊尔迪科 1 波胡斯拉夫·科埃纳 1 丹尼尔·科宁 1 米贾·库尔琴斯基 1 罗伯特·拉格斯特罗姆 1 莱昂尼达斯·兰普罗普洛斯 1 亨利克·劳科 1 斯特凡·洛伊 1 凯文·莱顿·布朗 1 马吕斯·林道尔 1 克里斯托夫·Löding 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 信息分析系统模型 全部的 前5名在6个字段中引用 43 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 数值分析(65-XX) 2 信息与通信理论、电路(94-XX) 1 流体力学(76-XX) 1 量子理论(81-XX) 按年份列出的引文