Sign in
Automated Test Generation Using Concolic Testing.
Koushik Sen
Published in:
ISEC (2015)
Keyphrases
</>
test generation
test cases
test sequences
symbolic execution
software testing
design automation
code coverage
quality assurance
static analysis
mutation testing
test data
image quality
test data generation
information technology
database systems
computer vision
database