C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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