Page 320 - 《软件学报》2025年第8期

袁斌 等: 基于有限状态机引导的网络协议模糊测试方法 3743

Formal Methods for Industrial Critical Systems. Lisbon: Association for Computing Machinery, 2005. 62–71. [doi: 10.1145/1081180.
1081189]
[30] Angluin D. Learning regular sets from queries and counterexamples. Information and Computation, 1987, 75(2): 87–106. [doi: 10.1016/
0890-5401(87)90052-6]

附中文参考文献:
[2] 张雄, 李舟军. 模糊测试技术研究综述. 计算机科学, 2016, 43(5): 1–8, 26.

袁斌(1990－), 男, 博士, 副教授, 博士生导师, 张驰(1999－), 男, 硕士生, 主要研究领域为软件
CCF 专业会员, 主要研究领域为物联网安全, 逻 定义网络, 软件定义网络安全.
辑漏洞检测, 安全检测.

任家俊(1998－), 男, 硕士生, 主要研究领域为软 邹德清(1975－), 男, 博士, 教授, 博士生导师,
件安全, 网络协议安全. CCF 高级会员, 主要研究领域为云计算安全, 网
络攻防与漏洞检测, 软件定义安全与主动防御,
大数据安全与人工智能安全, 容错计算.

陈群锦明(2000－), 男, 硕士生, 主要研究领域为 金海(1966－), 男, 博士, 教授, 博士生导师, CCF
软件安全, 网络协议安全. 会士, 主要研究领域为计算机系统结构, 虚拟化
技术, 集群计算, 网格计算, 并行与分布式计算,
对等计算普适计算, 语义网, 存储与安全.