TGV公司 swMATH ID: 32267 软件作者: Jean-Claude Fernandez、Claude Jard、Thierry Jéron、Cesar Viho 描述: 测试序列生成器TGV:TGV(使用验证技术生成测试)是为协议生成一致性测试套件的原型。它基于输入/输出转换系统(IOLTS)模型,并使用来自验证技术的算法。TGV是与Vérimag Grenoble合作开发的,使用了Verimag Grenoble和Inria Rhône Alpes的VASY开发的Caésar Aldébaran分销包的库。 主页: http://www.irisa.fr/vertecs/Logiciels/TGV.html 相关软件: Z轴;杂烩;UML秒;卢斯特;阿加莎;射击类游戏;TorX公司;安全UML;第二代外国存托凭证;卡斯珀;JNuke公司;快速检查;AGEDIS公司;阿斯毫升;线程;日本运通银行;科拉特;测试时代 引用于: 3文件 全部的 前5名15位作者引用 1 法布里斯·安伯特 1 西里尔·阿尔托 1 霍华德·巴林格 1 花束,织物 1 利奥·弗雷塔斯 1 克劳斯·哈维隆德 1 萨尔夫拉兹·库希德 1 洛瑞,迈克 1 科琳娜·s·佩斯勒诺。 1 法比安·佩鲁克斯 1 格里高·罗什乌 1 塞·库什克 1 威廉·维瑟 1 华盛顿,里奇 1 詹姆斯·C·P·伍德科克。 2篇连载文章中引用 1 理论计算机科学 1 计算的形式方面 在1个字段中引用 三 计算机科学(68-XX) 按年份列出的引文