Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs

BibTeX entry:

% Auto-generated by the Aristotle Publications Database on Thu Apr 24 17:54:11 EDT 2014
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php 

@inproceedings{ anand11nov,
     author = {Saswat Anand 
                and Mary Jean Harrold},
      title = {Heap Cloning: Enabling Dynamic Symbolic Execution of Java Programs},
  booktitle = {IEEE/ACM International Conference on Automated Software Engineering  (ASE 2011)},
      pages = {0--0},
    address = {Lawrence, KS, USA},
      month = {November},
       year = {2011},
      notes = {}
}

Back