×

可爱的

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

按年份列出的引文