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
ESEC/FSE-13
Lisbon, Portugal
Association for Computing Machinery
New York, NY, USA
Pages 263-272
2005
Note(s): symbolic execution
Papers: cadar:cacm:2013

CUTE verifier