Type-dependence Analysis and Program Transformation for Symbolic Execution

BibTeX entry:

% Auto-generated by the Aristotle Publications Database on Thu Aug 21 2:24:57 EDT 2014
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php 

@inproceedings{ anand07mar,
     author = {Saswat Anand 
                and Alessandro Orso 
                and Mary Jean Harrold},
      title = {Type-dependence Analysis and Program Transformation for Symbolic Execution},
  booktitle = {Proceedings of theInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2007)},
      pages = {117--133},
    address = {Braga, Portugal},
      month = {March},
       year = {2007},
      notes = {}
}

Back