Feedback-directed unit test generation for C/C++ using concolic execution. (2013)

by P Garg, F Ivancic, G Balakrishnan, N Maeda, A Gupta
Venue:In Proceedings of the 2013 International Conference on Software Engineering, ICSE ’13,