Static and Dynamic Analysis: Better Together.

Sriram K. Rajamani

Published in: APLAS (2007)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
source code
real time
artificial intelligence
database
real world
machine learning
genetic algorithm
computer vision
information systems
database systems
software engineering
malicious behavior