Finding executable paths in protocol conformance testing

机译：一种有效的分布式协议，用于在负权重的网络中查找最短路径

机译：强大的多代理路径查找和执行

机译：使用符号执行网络协议来增强一致性测试

机译：寻找混合VANET协议最短路径的新成本计算方法

机译：针对扩展模型中指定的通信协议自动生成一致性测试的测试用例。

机译：在乌干达农村地区进行家庭艾滋病毒检测后加强与艾滋病毒护理干预的联系对改善与艾滋病毒护理的联系并实现病毒抑制的功效：Ekkubo / PATH集群随机对照试验的研究方案

机译：具有可执行设计的分布式并发系统的一致性测试？

机译：用于产生检查协议的文档系统，即写受保护的文档，具有标准保形的，特定于系统的检查协议，该协议取决于包含数据集的计算机单元中的测试选项而产生

机译：协议一致性测试的测试目标的形式表示

机译：下一代智能网络应用协议一致性测试系统中协议测试结果报告的生成方法