@inproceedings{DBLP:conf/dsn/XieTHS09,
author = {Tao Xie and
Nikolai Tillmann and
Jonathan de Halleux and
Wolfram Schulte},
title = {Fitness-guided path exploration in dynamic symbolic execution},
booktitle = {DSN},
year = {2009},
pages = {359-368},
ee = {http://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270315},
crossref = {DBLP:conf/dsn/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dsn/2009,
title = {Proceedings of the 2009 IEEE/IFIP International Conference
on Dependable Systems and Networks, DSN 2009, Estoril,
Lisbon, Portugal, June 29 - July 2, 2009},
booktitle = {DSN},
publisher = {IEEE},
year = {2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}