CUTE: A Concolic Unit Testing Engine for C (2005)

by Koushik Sen, Darko Marinov, Gul Agha
Venue:IN ESEC/FSE-13: PROCEEDINGS OF THE 10TH EUROPEAN