Generating source inputs for metamorphic testing using dynamic symbolic execution.

Eman Alatawi Tim Miller Harald Søndergaard

Published in: MET@ICSE (2016)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
data flow
test cases
software testing
database
orders of magnitude
general purpose
search space
search algorithm
artificial intelligence
real world
neural network
data sets