机译:上下文无关的唯一状态标识序列,用于测试建模为扩展有限状态机的通信协议
机译:基于SAT算法的通信协议测试序列生成方法
机译:使用SAT算法在通信协议中生成测试序列
机译:生成最小长度的测试序列以进行通信协议的一致性测试
机译:一种集中式仿真方法,用于测试容错和实时通信协议。
机译:信息框架折扣对最佳心血管疾病和中风沟通的健康沟通的影响(EMT-OCSP):务实多期观察者蒙蔽12个月随机对照研究的议定书
机译:寻找用于测试定时通信协议的最佳归属序列
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范