驱动因素下的复杂软件系统符号执行

原文出自微信公众号“编程语言Lab”： 学习驱动的复杂软件符号执行
有兴趣的朋友可搜索并关注“编程语言Lab”公众号（HW-PLLab），以获取更多关于编程语言的技术资讯。
欢迎参与编程语言社区 SIG-编程语言测试，深入了解与编程语言测试相关的专业技术内容。
参与方式：通过添加文末提供的助手微信，并备注“加入 SIG-编程语言测试”进行申请。

关于作者

卜磊，现任南京大学计算机科学与技术系教授，并担任博士生导师。其研究方向主要集中在软件工程及形式化方法领域，涵盖模型检测技术、实时混合系统以及信息物理系统等多个方面。

个人主页：https://cs.nju.edu.cn/bulei/

视频回放链接

[SIG-编程语言测试技术沙龙回顾｜学习驱动的复杂软件符号执行](https://www.bilibili