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

Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta

Browse the full ICSE paper archive.