Sign in
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