Corina S. Pasareanu Neha Rungta Symbolic PathFinder: symbolic execution of Java bytecode. 179-180 2010 ASE http://doi.acm.org/10.1145/1858996.1859035 conf/kbse/2010 db/conf/kbse/ase2010.html#PasareanuR10