...
机译:定义明确的Estelle规范,可自动生成测试
机译:Estelle的半自动测试套件生成
机译:符合Estelle规格的自动跟踪分析工具生成器
机译:在自动测试程序生成中使用测试规范格式
机译:为estelle描述的规范数据流生成完整的测试套件
机译:基于规范的测试用例生成机制,用于面向服务的软件测试。
机译:将现代心理测量技术应用于旋律鉴别测试:项目响应理论计算机化自适应测试和自动项目生成
机译:形式化描述技术的成功故事:Estelle规范和MIL-STD 188-220的测试生成
机译:形式描述技术的成功案例:mIL-sTD 188-220的Estelle规范和测试生成