Concordia University (Canada).;
机译:根据实时反应系统的正式规范自动生成测试套件
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:基于形式化描述技术的规范自动生成测试
机译:从实时反应系统的面向对象规范自动生成测试
机译:面向离散事件的实时嵌入式系统的自动化测试生成。
机译:从LEMS(NeuroML2的基础通用模型规范语言)自动生成代码
机译:使用Supertrace算法和TESTGEN进行自动化的网络协议可达性分析:自动生成正式协议规范的测试序列
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。