×

可爱的

swMATH ID: 177
软件作者: Koushik Sen;达科·马里诺夫;古尔·阿加
描述: CUTE:一个针对C的协调单元测试引擎。在单元测试中,程序被分解为多个单元,这些单元是函数的集合。可以通过为单输入功能生成输入来测试单元的一部分。输入函数可能包含指针参数,在这种情况下,单元的输入是内存图。本文解决了以内存图作为输入的单元测试自动化问题。所使用的方法建立在以前工作的基础上,将符号执行和具体执行相结合,更具体地说,使用这种组合来生成测试输入,以探索所有可行的执行路径。当前的工作开发了一种方法来表示和跟踪约束,这些约束捕获了以内存图作为输入的单元符号执行的行为。此外,还提出了一种有效的约束求解器,以促进此类测试输入的增量生成。最后,描述了实现该方法的工具CUTE,以及将CUTE应用于C代码的实际示例的结果。
主页: http://dl.acm.org/citation.cfm?id=1081750
相关软件: 投掷;z3(零3);吉隆坡机场;派克斯;污水处理厂;Java PathFinder;jCUTE公司;爆炸;自旋蛋白;CBMC公司;科拉特;SLAM公司;PathCrawler(路径爬行器);CIL公司;SMT-LIB公司;Symstra公司;班德拉;电子稳定控制系统/Java;伊莎贝尔/HOL;测试时代
引用于: 50种出版物
全部的 前5名

131位作者引用

安德烈·阿鲁索艾
弗雷德·梅斯纳德
埃蒂安·佩耶特
弗拉德·鲁苏
德国维达尔
2 罗伯托·阿马迪尼
2 尼古拉·S·比约纳。
2 格雷姆·恒河
2 帕特丽斯·戈德弗里德
2 雅克·朱利安德
2 维克托·五·库利亚明。
2 多雷尔·卢卡努
2 拉迪斯拉夫·卢克桑
2 皮埃尔·阿莱·马森
2 彼得·米勒
2 彼得·沙赫特
2 塞·库什克
2 哈拉尔德·森德加德
2 彼得·詹姆斯·斯塔基
2 马雷克·特里克
2 维切克,简
1 恩里克·阿尔巴
1 穆阿特·阿尔卡拉夫
1 萨斯瓦特·阿南德
1 马克·安德隆
1 Domagoj Babić
1 布雷特·巴德。
1 塞巴斯蒂安·巴丁
1 JiříBarnat
1 布兰奇,桑德琳
1 马特科·博廷坎
1 卜康康
1 卜、雷
1 皮埃尔·克莱斯托普·布埃
1 特夫菲克·布尔坦
1 大卫·H·布什内尔。
1 安娜·卡瓦尔坎蒂
1 查克拉波蒂,苏普拉特克
1 陈欣
1 陈彦南
1 切诺夫,E.S。
1 弗朗西斯科·奇卡诺
1 玛丽亚·克里斯塔基斯
1 莱昂纳多·德·莫拉
1 段振华
1 Heinz Erzberger公司
1 本杰明·法里尼尔
1 鲁道夫·费伦茨
1 Fernandes,Edite M.G.P。
1 斯蒂芬妮·福雷斯特
1 戴安·加洛瓦·旺
1 玛丽·克劳德·高德尔
1 迪米特拉·吉安娜科波卢
1 纪尧姆·吉罗尔
1 戈麦斯,M.Paula S.F。
1 尼古拉斯·伊恩·马克·古尔德
1 罗伯特·曼塞尔·高尔
1 阿南斯·格拉玛。
1 亚历克斯·格罗斯
1 阿什图什·古普塔
1 约翰·哈特克利夫
1 克劳斯·哈维隆德
1 凯伦·希雷
1 Heged By s,彼得
1 凯乔·赫尔扬科
1 安德烈亚斯·霍尔泽
1 杰拉德·J·霍尔兹曼。
1 Hriţcu,科特林
1 Michael S.肖。
1 胡一齐
1 奥斯卡·H·伊巴拉。
1 苏雷什·贾甘纳森
1 拉胡尔·贾恩
1 拉杰夫·乔希
1 伊斯坦布尔卡达尔
1 迪帕克·卡普尔
1 尼尔斯·克拉伦德
1 奥尔加·库什纳伦科
1 萨帕里亚克里希纳莫奥斯蒂
1 克里希纳穆提,施莱姆
1 丹尼尔·科宁
1 希勒尔·库格勒
1 莱昂尼达斯·兰普罗普洛斯
1 亨利克·劳科
1 Gary T.Leavens。
1 Leino,K.Rustan M。
1 泽维尔·勒罗伊
1 李宣东
1 梁永娟
1 洛加那坦林加潘
1 梅洛,玛格丽达·皮涅罗
1 蒂姆·纳尔逊
1 Nguyen,Thanhvu H。
1 Obdr zalek,简
1 多米尼克·奥尔班
1 阿德里安·帕拉西奥斯。
1 马修·帕金森。
1 科琳娜·s·佩斯勒诺。
1 本杰明·皮尔斯。
1 A.V.Ponomarenko。
…还有31位作者

按年份列出的引文