Login / Signup
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.
Víctor A. Braberman
Diego Garbervetsky
Sergio Yovine
Published in:
J. Object Technol. (2006)
Keyphrases
</>
static analysis
dynamic analysis
source code
high level
symbolic execution
dynamic environments
reverse engineering
test generation
java card
regular expressions
real world
times faster
control flow
delay insensitive
abstract interpretation