Evaluating Symbolic Execution-Based Test Tools.

Lajos Cseppento Zoltán Micskei

Published in: ICST (2015)

Keyphrases

symbolic execution
test generation
test data generation
test cases
static analysis
software testing
data sets
genetic algorithm
source code
neural network
search algorithm
building blocks
quality assessment
test suite