浙江大学控制学院创新创业中心
工控安全技术分享会（第四期）――符号执行技术
发布日期：2022-05-22 作者：浙江大学 编辑：gkaq 访问量：163
2022年5月12日，为拓宽协会成员知识面，协会特邀请了NESC课题组的朱舜恺学长为大家带来以“符号执行技术”为主题的学术分享会。学术分享会旨在为大家介绍全新的学术方向，同时讲解一些实用性工具，以帮助萌新们快速体验科研之旅。
报告人介绍：朱舜恺，浙江大学网络传感与控制小组博士生。主要研究方向是通过自动化软件测试、形式化验证、程序分析等技术为软件安全提供更好的保障。
分享会摘要：符号执行为安全和软件测试问题提供了一个优雅的解决方案。本次分享会介绍了现代符号执行引擎，并进一步介绍了各种优化算法和约束求解器的基础知识。
版权所有：浙江大学控制学院创新创业中心 地址：浙江省杭州市浙大路38号控制科学与工程学院 310027 您是 1000位访问者