专利

(1)姚姜源;王之梁;施新刚;尹霞;李崇荣;基于模型检测的分布式测试脚本的生成方法与生成系统,2020-05-01,中国, ZL20171060632.9.

(2)姚姜源;王之梁;施新刚;尹霞;李崇荣;软件定义网络应用测试序列的生成方法与生成系统, 2019-10-18,中国, ZL201710606520.0.

(3)王之梁;姚姜源;施新刚;尹霞;一种用于生成协议测试序列的方法, 2017-08-04,中国, ZL201410542685.2.

(4)王之梁;姚姜源;施新刚;尹霞;基于并行扩展有限状态机的协议层次化测试生成方法, 2016-07-06,中国, ZL201310308805.8.

(5)王之梁;姚姜源;尹霞;基于变量依赖的并行扩展有限状态机的协议测试生成方法, 2014-02-19,中国, ZL201110344327.7.