Exploiting Program Dependencies for Scalable Multiple-Path Symbolic Execution

BibTeX entry:

% Auto-generated by the Aristotle Publications Database on Tue Jul 29 4:55:38 EDT 2014
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php 

@inproceedings{ santelices10jul,
     author = {Raul Andres Santelices 
                and Mary Jean Harrold},
      title = {Exploiting Program Dependencies for Scalable Multiple-Path Symbolic Execution},
  booktitle = {International Symposium on Software Testing and Analysis (ISSTA 2010)},
      pages = {195--206},
    address = {Trento, Italy},
      month = {July},
       year = {2010},
      notes = {}
}

Back