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

by K Sen, D Marinov, G Agha
Venue:In Proceedings of the joint meeting of the European Software Engineering Conference and the ACM Symposium on the Foundations of Software Engineering