Improving efficiency of dynamic analysis with dynamic dependence summaries.

Vijay Krishna Palepu Guoqing Xu James A. Jones

Published in: ASE (2013)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
dynamic environments
data sets
information systems
feature space
highly efficient
abstract interpretation
search engine
website
source code
computational efficiency