# 8.33 Under-Constrained Symbolic Execution: Correctness Checking for Real Code

[paper](https://cseweb.ucsd.edu/~dstefan/cse291-winter18/papers/ucklee.pdf)

## 简介