Cute: A concolic unit testing engine for c. (2005)

by K Sen, D Marinov, G Agha
Venue:ESEC/FSE-13,