CUTE: a concolic unit testing engine for C (2005)

by K Sen, D Marinov, G Agha
Venue:in Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering