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

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