投掷 swMATH ID: 7260 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 描述： DART：直接自动化随机测试。我们提出了一种用于自动测试软件的新工具DART，它结合了三种主要技术：（1）使用静态源代码解析自动提取程序与其外部环境的接口；（2） 为该接口自动生成测试驱动程序，该驱动程序执行随机测试，以模拟程序可以在其中运行的最通用环境；（3）动态分析程序在随机测试下的行为，并自动生成新的测试输入，以系统地指导沿着可选程序路径的执行。这三种技术共同构成了定向自动随机测试（Directed Automated Random Testing，简称DART）。因此，DART的主要优势在于，可以在任何编译的程序上完全自动执行测试——不需要编写任何测试驱动程序或线束代码。在测试期间，DART检测标准错误，如程序崩溃、断言冲突和非终止。对C程序的几个示例进行单元测试的初步实验非常令人鼓舞。 主页： http://dl.acm.org/citation.cfm？id=1065036 相关软件： 可爱的；z3（零3）；吉隆坡机场；派克斯；污水处理厂；Java PathFinder；jCUTE公司；爆炸；自旋蛋白；CBMC公司；Symstra公司；SLAM公司；veriSoft软件；电子稳定控制系统/Java；SMT-LIB公司；YOGI公司；班德拉；CVC4型；PathCrawler（路径爬行器）；CESAR公司 引用于： 59文件 全部的 前5名156位作者引用 4 弗拉德·鲁苏 三 安德烈·阿鲁索艾 三 帕特丽斯·戈德弗里德 三 弗雷德·梅斯纳德 三 埃蒂安·佩耶特 三 德国维达尔 2 尼古拉·S·比约纳。 2 段振华 2 蒂埃里·杰伦 2 雅克·朱利安德 2 维克托·五·库利亚明。 2 多雷尔·卢卡努 2 皮埃尔·阿莱·马森 2 田聪 2 赫尔穆特·维思 2 威廉·维瑟 2 张楠 1 帕罗什·阿齐兹·阿卜杜拉 1 阿隆·阿迪尔 1 巴沙尔·拉维 1 恩里克·阿尔巴 1 罗伯托·阿马迪尼 1 吉安卢卡·阿马托 1 萨斯瓦特·阿南德 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 Domagoj Babić 1 罗伯特·巴格纳拉 1 塞巴斯蒂安·巴丁 1 尼古拉斯·巴斯基提斯 1 马塞洛·玛丽亚·邦桑格 1 卜康康 1 皮埃尔·克莱斯托普·布埃 1 大卫·H·布什内尔。 1 卡利埃、马蒂厄 1 安娜·卡瓦尔坎蒂 1 萨加·查基 1 查克拉波蒂，苏普拉特克 1 萨迪普塔·查托帕迪耶 1 陈玉芳 1 切尔诺夫，E.S。 1 弗朗西斯科·奇卡诺 1 魏恩根·钦 1 玛丽亚·克里斯塔基斯 1 克拉克（Edmund Melson jun Clarke）。 1 克伦，多纳托 1 达姆，丹尼斯·雷内 1 伊曼纽尔·德·安吉利斯 1 德波尔（Frank S。 1 莱昂纳多·德·莫拉 1 比菲省迪普 1 Heinz Erzberger公司 1 本杰明·法里尼尔 1 鲁道夫·费伦茨 1 安东尼奥·菲列里 1 法比奥·菲奥拉万蒂 1 斯蒂芬妮·福雷斯特 1 约翰·加拉赫（John P.Gallagher）。 1 戴安·加洛瓦·旺 1 格雷姆·恒河 1 玛丽·克劳德·高德尔 1 迪米特拉·吉安娜科波卢 1 纪尧姆·吉罗尔 1 罗伯塔·戈里 1 阿尔诺·哥特利布 1 亚历克斯·格罗斯 1 拉杜·格罗苏 1 阿什图什·古普塔 1 克劳斯·哈维隆德 1 海姆，皮尔雷·科里尔 1 凯伦·希雷 1 Heged By s，彼得 1 凯乔·赫尔扬科 1 C.E.赫尔姆斯特特。 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 卢卡什·霍利克 1 安德烈亚斯·霍尔泽 1 杰拉德·J·霍尔兹曼。 1 Pieter Hooimeijer 1 Hriţcu，科特林 1 Michael S.肖。 1 胡登庚 1 黄晓婉 1 约翰·休斯 1 拉胡尔·贾恩 1 贝特朗·珍妮特 1 拉杰夫·乔希 1 伊斯坦布尔卡达尔 1 迪帕克·卡普尔 1 迈克尔·凯特尔曼 1 约翰内斯·金德 1 尼尔斯·克拉伦德 1 鲍里斯·科普夫 1 奥尔加·库什纳伦科 1 德米特里·克拉夫琴科 1 萨帕里亚克里希纳莫奥斯蒂 1 丹尼尔·科宁 1 希勒尔·库格勒 1 Shuvendu Kumar拉希里 1 莱昂尼达斯·兰普罗普洛斯 …还有56位作者 全部的 前5名17篇连载文章中引用 4 逻辑程序设计理论与实践 三 编程与计算机软件 三 理论计算机科学 三 系统设计中的形式化方法 2 符号计算杂志 2 数学与人工智能年鉴 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 控制论学报 1 计算机程序设计科学 1 计算机与运筹学 1 计算的形式方面 1 实时系统 1 信息计算杂志 1 计算机语言、系统和结构 1 科学中国。信息科学 1 理论计算机科学课文。EATCS系列 全部的 前5名在7个字段中引用 58 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 2 数值分析（65-XX） 1 统计学（62-XX） 1 流体力学（76-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文