Protocol conformance testing; FSM; UIO sequence; Test sequence;
机译:自动唯一输入输出序列生成,用于FSM一致性测试
机译:基于UIO序列和中国乡村邮差的协议一致性测试生成优化技术
机译:协议规范的结构分析和最大故障覆盖范围一致性测试序列的生成
机译:基于FSM的Q / GDW11709.2的协议一致性测试序列生成
机译:针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。
机译:基于目标富集的下一代测序协议在肺炎球菌血清型鉴定和基于序列的预测中的应用
机译:自动唯一输入输出序列生成,用于FSM一致性测试
机译:使用supertrace算法和TEsTGEN进行自动网络协议可达性分析:自动生成正式协议规范的测试序列。