标签：Testing Later Symbolic Three Execution Decades Software
论文笔记：Symbolic Execution for Software Testing: Three Decades Later
这是一篇综述性质的文章，介绍了符号执行相关技术。
1. Introduction
2. Overview of Classical Symbolic Execution
Reference
标签：Testing,
Later,
Symbolic,
Three,
Execution,
Decades,
Software
From： https://www.cnblogs.com/qwerty-ll/p/17038984.html