Improving search-based test suite generation with dynamic symbolic execution.

Juan Pablo Galeotti Gordon Fraser Andrea Arcuri

Published in: ISSRE (2013)

Keyphrases

improving search
test suite
symbolic execution
static analysis
test cases
test generation
test data generation
regression testing
web search
query expansion
test suite reduction
software testing
specification language
database
general purpose