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
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