CUTE: A concolic unit testing engine for C

Koushik Sen, Darko Marinov, Gul Agha
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering
Lisbon, Portugal
Association for Computing Machinery
New York, NY, USA
Pages 263-272
Note(s): symbolic execution
Papers: cadar:cacm:2013

CUTE verifier