# 8.37 CUTE: A Concolic Unit Testing Engine for C