Symbolic Execution with Abstract Subsumption Checking

BibTeX entry:

% Auto-generated by the Aristotle Publications Database on Sun Aug 31 2:47:39 EDT 2014
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php 

@inproceedings{ anand06mar,
     author = {Saswat Anand 
                and Corina S. Pasareanu 
                and Willem Visser},
      title = {Symbolic Execution with Abstract Subsumption Checking},
  booktitle = {International SPIN Workshop on Model Checking of Software (SPIN 2006)},
      pages = {163--181},
    address = {Vienna, Austria},
      month = {March},
       year = {2006},
      notes = {}
}

Back