mirror of
https://github.com/nganhkhoa/CTF-All-In-One.git
synced 2025-01-29 22:57:32 +07:00
6 lines
143 B
Markdown
6 lines
143 B
Markdown
# 8.34 Enhancing Symbolic Execution with Veritesting
|
|
|
|
[paper](https://users.ece.cmu.edu/~aavgerin/papers/veritesting-icse-2014.pdf)
|
|
|
|
## 简介
|