Cute: a concolic unit testing engine for c (0)

by K SEN, D MARINOV, G AGHA
Venue:SIGSOFT Softw. Eng