@inproceedings{conf/dsn/XieTHS09,
  added-at = {2011-12-20T00:00:00.000+0100},
  author = {Xie, Tao and Tillmann, Nikolai and de Halleux, Jonathan and Schulte, Wolfram},
  biburl = {http://www.bibsonomy.org/bibtex/2a003332538e4d07225287e564e334576/dblp},
  booktitle = {DSN},
  crossref = {conf/dsn/2009},
  ee = {http://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270315},
  interhash = {7bc7e967a95e08aa9ce2e3b4bed4f642},
  intrahash = {a003332538e4d07225287e564e334576},
  keywords = {dblp},
  pages = {359-368},
  publisher = {IEEE},
  timestamp = {2011-12-20T00:00:00.000+0100},
  title = {Fitness-guided path exploration in dynamic symbolic execution.},
  url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2009.html#XieTHS09},
  year = 2009
}