JPF-SE: A Symbolic Execution Extension to Java Pathfinder

BibTeX entry:

% Auto-generated by the Aristotle Publications Database on Wed Sep 3 1:22:09 EDT 2014
% URL = http://www.cc.gatech.edu/aristotle/Publications/index.php 

@inproceedings{ anand07mar,
     author = {Saswat Anand 
                and Corina S. Pasareanu 
                and Willem Visser},
      title = {JPF-SE: A Symbolic Execution Extension to Java Pathfinder},
  booktitle = {International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2007)},
      pages = {134--138},
    address = {Braga, Portugal},
      month = {March},
       year = {2007},
      notes = {}
}

Back