Ewap: Using Symbolic Execution to Exploit Windows Applications.

Jianmin Chen Hui Shu Xiaobing Xiong

Published in: CSIE (7) (2009)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
genetic programming
description language
databases
neural network
case study
multi objective
open source