@dblp

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

, , , , and . ICSE, page 132-141. IEEE Computer Society, (2013)

Links and resources

Tags