Sign in
Type-Dependence Analysis and Program Transformation for Symbolic Execution.
Saswat Anand
Alessandro Orso
Mary Jean Harrold
Published in:
TACAS (2007)
Keyphrases
</>
symbolic execution
static analysis
databases
real world
data sets
neural network
genetic algorithm
knowledge management
source code
quality assessment
data flow