机译:基于UIO序列和中国乡村邮差的协议一致性测试生成优化技术
机译:UIO_E:使用过渡可执行性分析(TEA)的协议测试序列生成方法
机译:使用多个UIO序列进行协议一致性测试
机译:基于UIO的新协议测试序列生成方法
机译:协议测试的拓扑生成:方法和案例研究。
机译:协议:HEARTPA♀N的开发和可用性测试:混合方法策略的协议以开发针对心痛妇女的集成智能手机和基于网络的干预措施
机译:EFSM模型中的通信协议的自动生成扩展UIO序列
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。