Online Testing; Passive Testing; Formal Methods;
机译:通信协议被动测试的正式数据中心方法
机译:使用基于符号执行和切片技术的被动测试:在通信协议验证中的应用
机译:无线传感器网络中协议的被动测试方法
机译:通信协议的在线被动测试方法
机译:一种集中式仿真方法,用于测试容错和实时通信协议。
机译:无线传感器网络中协议的被动测试方法
机译:无线传感器网络协议的被动测试方法
机译:计算机通信传输协议的规范。第7卷。测试OsI协议 - 论文汇编。第8卷.ICsT传输协议实施测试系统用户指南。第9卷。实施ICsT传输协议的测试套件。第10卷。用于实施ICsT传输协议的远程场景解释器的规范