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

by K Sen, D Marinov, G Agha
Venue:In ESEC/FSE-13: Proceedings of the 10th European