SECloud: Binary Analyzing Using Symbolic Execution in the Cloud.

Lin Zhou Shuitao Gan Xiaojun Qin Wenbao Han

Published in: CBD (2013)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
database
data sets
genetic algorithm
search algorithm
general purpose
open source
integrity constraints
description language