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） 按年份列出的引文