# 8.37 CUTE: A Concolic Unit Testing Engine for C

[paper](http://mir.cs.illinois.edu/marinov/publications/SenETAL05CUTE.pdf)

## 简介