专利
(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.