SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis

BibTeX entry:

% Auto-generated by the Aristotle Publications Database on Wed Jul 30 13:24:42 EDT 2014
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php 

@inproceedings{ santelices09jun,
     author = {Raul Andres Santelices 
                and Mary Jean Harrold},
      title = {SPA: Symbolic Program Approximation for Scalable Path-sensitive Analysis},
  booktitle = {GIT-CERCS Technical Report (GIT-CERCS TR 2009)},
      pages = {1--11},
    address = {Atlanta, USA},
      month = {June},
       year = {2009},
      notes = {}
}

Back