GATeL公司 swMATH ID: 7255 软件作者: 本杰明·布朗 描述: GATeL:从Lustre描述自动生成测试GATeL是法国核研究机构(CEA)开发的工具。其主要目标是自动化关键控制应用程序的测试阶段。这里的关键点是,自动化并不是用来生成大量测试用例的一种手段,而是帮助执行真正有问题的用例。GATe已经实施,法国核认证机构以及航空电子和汽车研究中心目前正在使用GATe。 主页: http://www.ercim.eu/publication/ercim_News/enw58/blanc.html 相关软件: 射击类游戏;投掷;快速检查;哈斯克尔;ATGen公司;渗透;Coq公司;派克斯;Z轴;阿加莎;卢特斯;CBMC公司;OCaml公司;Caduceus公司;叮当声静态分析仪;CIL公司;杰西;洛克史密斯;ASTREE公司;J拉舍尔 引用于: 12文件 全部的 前5名29位作者引用 三 蒂埃里·杰伦 2 塞巴斯蒂安·巴丁 2 卡利埃、马蒂厄 2 阿尔诺·哥特利布 2 贝特朗·珍妮特 2 布鲁诺·玛丽 2 弗拉德·鲁苏 1 马克·艾吉尔 1 阿格内斯·阿诺德 1 罗伯特·巴格纳拉 1 约翰·布洛姆 1 弗朗索瓦·博博特 1 博因,克莱门特 1 阿希姆·D·布鲁克。 1 扎卡里亚·奇哈尼 1 奥利维尔·迪福 1 凯瑟琳·杜布瓦 1 玛丽·克劳德·高德尔 1 罗伯塔·戈里 1 菲利普·赫尔曼 1 安德斯·赫塞尔 1 Jean-Marc·Jézéquel 1 本特·琼森 1 帕斯卡尔·勒加尔 1 弗洛里安·佩鲁德 1 保罗·佩特森 1 诺埃尔·普卢佐 1 沃尔夫,伯克哈特 1 埃琳娜·齐诺维耶娃 2篇连载文章中引用 1 计算的形式方面 1 INFORMS计算机杂志 在3个字段中引用 12 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 按年份列出的引文