# 8.34 Enhancing Symbolic Execution with Veritesting

[paper](https://users.ece.cmu.edu/~aavgerin/papers/veritesting-icse-2014.pdf)

## 简介