State Joining and Splitting for the Symbolic Execution of Binaries.

Trevor Hansen Peter Schachte Harald Søndergaard

Published in: RV (2009)

Keyphrases

symbolic execution
source code
state space
static analysis
databases
neural network
training data
multi agent systems
evolutionary algorithm
software systems
pattern matching
domain independent
test data generation