Pex公司 swMATH ID: 7263 软件作者: 尼古拉·蒂尔曼(Nikolai Tillmann)、乔纳森·德哈勒克斯(Jonathan de Halleux) 描述: Pex–的白盒测试生成。净利润。Pex自动为生成一个具有高代码覆盖率的小型测试套件。NET程序。为此,Pex执行系统程序分析(使用动态符号执行,类似于路径边界模型检查),以确定参数化单元测试的测试输入。Pex通过监视执行跟踪来学习程序行为。Pex使用约束解算器生成执行不同程序行为的新测试输入。其结果是自动生成一个小型测试套件,通常可以实现较高的代码覆盖率。在一个案例研究中,我们将Pex应用于的核心组件。NET运行时,它已经过了几年的广泛测试。Pex发现了错误,包括严重问题。 主页: http://rd.springer.com/chapter/10.1007/978-3-540-79124-9_10 相关软件: 投掷;可爱的;z3(零3);污水处理厂;吉隆坡机场;Java PathFinder;jCUTE公司;VeriFast公司;电子稳定控制系统/Java;规格#;布吉;YOGI公司;SpecExplorer(SpecExplorer);PathCrawler(路径爬行器);莫德;Coq公司;陌生人;ATGen公司;爆炸;ASTREE公司 引用于: 23文件 全部的 前5名55位作者引用 三 安德烈·阿鲁索艾 三 弗拉德·鲁苏 2 克拉克·W·巴雷特。 2 梁天一 2 多雷尔·卢卡努 2 安德鲁·雷诺兹 2 塞萨尔·蒂内利 2 马雷克·特里克 2 内斯塔·齐斯卡里泽 1 沃尔夫冈·阿伦特 1 艾尔维拉·阿尔伯特 1 吉安卢卡·阿马托 1 尼古拉·S·比约纳。 1 阿希姆·D·布鲁克。 1 理查德·布贝尔 1 大卫·H·布什内尔。 1 卡利埃、马蒂厄 1 安娜·卡瓦尔坎蒂 1 杰苏斯·莫里西奥·奇曼托 1 玛丽亚·克里斯塔基斯 1 Deters,摩根 1 凯瑟琳·杜布瓦 1 Heinz Erzberger公司 1 曼努埃尔·Fähndrich 1 玛丽·克劳德·高德尔 1 迪米特拉·吉安娜科波卢 1 帕特丽斯·戈德弗里德 1 米盖尔·戈梅斯·扎马洛亚 1 阿尔诺·哥特利布 1 雷纳·哈内尔 1 凯伦·希雷 1 Pieter Hooimeijer 1 贾尼契奇,普雷德拉格 1 季冉 1 雅克·朱利安德 1 奥尔加·库什纳伦科 1 维克托·五·库利亚明。 1 弗朗西斯科·洛戈佐 1 皮埃尔·阿兰·马森 1 彼得·米勒 1 Obdr zalek,简 1 戈登·佩斯。 1 毛里齐奥·帕顿 1 德国普埃布拉 1 杰拉尔多·施奈德 1 Schumann,Johann M.博士。 1 弗朗西丝卡·斯科扎里 1 塞·库什克 1 斯特雷切克,简 1 尼古拉·蒂尔曼 1 玛格斯·维纳斯 1 纪尧姆·沃伦 1 安德烈·沃伦科夫 1 沃尔夫,伯克哈特 1 瓦伦丁·Wüstholz 全部的 前5名10篇连载文章中引用 2 编程和计算机软件 2 符号计算杂志 2 系统设计中的形式化方法 1 理论计算机科学 1 计算的形式方面 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 22 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 按年份列出的引文