×

吉隆坡机场

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位作者

按年份列出的引文