机译:定义明确的Estelle规范,可自动生成测试
机译:基于形式化语言动态语义的形式规格,自动生成严格符合的测试
机译:基于正式规范的嵌入式网络系统自动测试生成
机译:根据Estelle中的正式规范生成测试用例
机译:根据实时反应系统的正式规范自动生成测试。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:形式化描述技术的成功故事:Estelle规范和MIL-STD 188-220的测试生成
机译:形式描述技术的成功案例:mIL-sTD 188-220的Estelle规范和测试生成