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

Pranav Garg Franjo Ivancic Gogul Balakrishnan Naoto Maeda Aarti Gupta

Published in: ICSE (2013)

Keyphrases

test generation
symbolic execution
test cases
test sequences
design automation
static analysis
quality assurance
mutation testing
regression testing
testing process
software testing
test data generation
multi agent
video sequences
relevance feedback
error rate