Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution.

Ting Su Geguang Pu Bin Fang Jifeng He Jun Yan Siyuan Jiang Jianjun Zhao

Published in: SERE (2014)

Keyphrases

test data generation
symbolic execution
search based testing
simulated annealing algorithm
test cases
software testing
generation algorithm
test suite
test generation
static analysis
fitness function
specification language
source code
test problems
data flow
genetic algorithm
error rate
open source