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


论文：https://cseweb.ucsd.edu/~dstefan/cse291-winter18/papers/ucklee.pdf

## 简介