软件测试背景

符号执行介绍

• 静态符号执行
• 混合执行测试
• 执行生成测试
• 动态符号执行

关键思想

主要挑战

动态执行实践

本次组会内容下载链接