可爱的 swMATH ID: 177 软件作者: Koushik Sen;达科·马里诺夫;古尔·阿加 描述: CUTE:一个针对C的协调单元测试引擎。在单元测试中,程序被分解为多个单元,这些单元是函数的集合。可以通过为单输入功能生成输入来测试单元的一部分。输入函数可能包含指针参数,在这种情况下,单元的输入是内存图。本文解决了以内存图作为输入的单元测试自动化问题。所使用的方法建立在以前工作的基础上,将符号执行和具体执行相结合,更具体地说,使用这种组合来生成测试输入,以探索所有可行的执行路径。当前的工作开发了一种方法来表示和跟踪约束,这些约束捕获了以内存图作为输入的单元符号执行的行为。此外,还提出了一种有效的约束求解器,以促进此类测试输入的增量生成。最后,描述了实现该方法的工具CUTE,以及将CUTE应用于C代码的实际示例的结果。 主页: http://dl.acm.org/citation.cfm?id=1081750 相关软件: 投掷;z3(零3);吉隆坡机场;Pex公司;污水处理厂;Java PathFinder;jCUTE公司;爆炸;自旋蛋白;SLAM公司;CBMC公司;科拉特;PathCrawler(路径爬行器);CIL公司;SMT-LIB公司;Symstra公司;班德拉;电子稳定控制系统/Java;github;CVC4型 引用于: 50文件 全部的 前5名132位作者引用 三 安德烈·阿鲁索艾 三 弗雷德·梅斯纳德 三 埃蒂安·佩耶特 三 弗拉德·鲁苏 三 德国维达尔 2 尼古拉·S·比约纳。 2 帕特丽斯·戈德弗里德 2 雅克·朱利安德 2 维克托·五·库利亚明。 2 多雷尔·卢卡努 2 拉迪斯拉夫·卢克桑 2 皮埃尔·阿兰·马森 2 彼得·米勒 2 塞·库什克 2 马雷克·特里克 2 威廉·维瑟 2 维切克,简 1 帕罗什·阿齐兹·阿卜杜拉 1 恩里克·阿尔巴 1 穆阿特·阿尔卡拉夫 1 萨斯瓦特·阿南德 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 Domagoj Babić 1 布雷特·巴德。 1 塞巴斯蒂安·巴丁 1 JiříBarnat 1 Blazy,桑德林 1 马特科·博廷坎 1 卜康康 1 布埃,皮埃尔·克里斯托夫 1 特夫菲克·布尔坦 1 大卫·H·布什内尔。 1 安娜·卡瓦尔坎蒂 1 萨加·查基 1 查克拉波蒂,苏普拉特克 1 陈彦南 1 陈玉芳 1 切诺夫,E.S。 1 弗朗西斯科·奇卡诺 1 玛丽亚·克里斯塔基斯 1 克伦,多纳托 1 莱昂纳多·德·莫拉 1 比菲省迪普 1 段振华 1 Heinz Erzberger公司 1 本杰明·法里尼尔 1 鲁道夫·费伦茨 1 Fernandes,Edite M.G.P。 1 安东尼奥·菲列里 1 斯蒂芬妮·福雷斯特 1 Gallois Wong,戴安 1 玛丽·克劳德·高德尔 1 迪米特拉·吉安娜科波卢 1 纪尧姆·吉罗尔 1 戈麦斯,M.Paula S.F。 1 尼古拉斯·伊恩·马克·古尔德 1 罗伯特·曼塞尔·高尔 1 Ananth Y.格拉玛。 1 亚历克斯·格罗斯 1 阿什图什·古普塔 1 约翰·哈特克利夫 1 克劳斯·哈弗伦德 1 凯伦·希雷 1 Heged By s,彼得 1 凯乔·赫尔扬科 1 卢卡什·霍利克 1 安德烈亚斯·霍尔泽 1 Gerard J.霍尔兹曼。 1 Hriţcu,科特林 1 Michael S.肖。 1 胡登庚 1 约翰·休斯 1 奥斯卡·H·伊巴拉。 1 苏雷什·贾甘纳森 1 拉胡尔·贾恩 1 拉杰夫·乔希 1 伊斯坦布尔卡达尔 1 迪帕克·卡普尔 1 尼尔斯·克拉伦德 1 奥尔加·库什纳伦科 1 萨帕里亚克里希纳莫奥斯蒂 1 克里希纳穆提,施莱姆 1 丹尼尔·科宁 1 希勒尔·库格勒 1 列奥尼达Lampropoulos 1 亨利克·劳科 1 Gary T.Leavens。 1 Leino,K.Rustan M。 1 泽维尔·勒罗伊 1 洛加那坦林加潘 1 梅洛,玛格丽达·皮涅罗 1 蒂姆·纳尔逊 1 Nguyen,Thanhvu H。 1 Obdr zalek,简 1 多米尼克·奥尔班 1 阿德里安·帕拉西奥斯。 1 马修·帕金森。 1 科琳娜·s·佩斯勒诺。 1 本杰明·皮尔斯。 1 A.V.Ponomarenko。 …还有32位作者 全部的 前5名20篇连载文章中引用 三 编程和计算机软件 三 逻辑程序设计理论与实践 2 系统设计中的形式化方法 2 数学与人工智能年鉴 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 计算数学 1 ACM数学软件汇刊 1 控制论学报 1 理论计算机科学 1 符号计算杂志 1 计算机与运筹学 1 自动推理杂志 1 计算优化与应用 1 SIAM科学计算杂志 1 优化方法和软件 1 计算机语言、系统和结构 1 帕姆。应用数学与力学学报 1 科学中国。信息科学 1 理论计算机科学课文。EATCS系列 全部的 前5名在6个字段中引用 43 计算机科学(68至XX) 6 数值分析(65-XX) 5 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 2 变分法与最优控制;最优化(49至XX) 1 流体力学(76-XX) 按年份列出的引文