Sign in
Heap cloning: Enabling dynamic symbolic execution of java programs.
Saswat Anand
Mary Jean Harrold
Published in:
ASE (2011)
Keyphrases
</>
java programs
symbolic execution
multi threaded
real time
static analysis
high level
operating system
java language