Feedback-directed unit test generation for C/C++ using concolic execution

Pranav Garg
Naoto Maeda
Aarti Gupta
ICSE (2013), pp. 132-141

Abstract