Sign in

Heap cloning: Enabling dynamic symbolic execution of java programs.

Saswat AnandMary Jean Harrold
Published in: ASE (2011)
Keyphrases
  • java programs
  • symbolic execution
  • multi threaded
  • real time
  • static analysis
  • high level
  • operating system
  • java language