Cute: a concolic unit testing engine for c (2005)

Cached

Download Links

by Koushik Sen , Darko Marinov , Gul Agha
Venue:In ESEC/FSE-13: Proceedings of the 10th European
Citations:324 - 21 self