Login / Signup
Using Metamorphic Testing to Improve Dynamic Symbolic Execution.
Eman Alatawi
Tim Miller
Harald Søndergaard
Published in:
ASWEC (2015)
Keyphrases
</>
symbolic execution
test generation
test data generation
static analysis
source code
test cases
specification language
data sets
neural network
particle swarm optimization
error rate
orders of magnitude