%0 Conference Paper %1 conf/dsn/XieTHS09 %A Xie, Tao %A Tillmann, Nikolai %A de Halleux, Jonathan %A Schulte, Wolfram %B DSN %D 2009 %I IEEE Computer Society %K %P 359-368 %T Fitness-guided path exploration in dynamic symbolic execution. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2009.html#XieTHS09 %@ 978-1-4244-4422-9

@inproceedings{conf/dsn/XieTHS09, added-at = {2023-12-13T02:10:01.000+0100}, author = {Xie, Tao and Tillmann, Nikolai and de Halleux, Jonathan and Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/2a003332538e4d07225287e564e334576/admin}, booktitle = {DSN}, crossref = {conf/dsn/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSN.2009.5270315}, interhash = {7bc7e967a95e08aa9ce2e3b4bed4f642}, intrahash = {a003332538e4d07225287e564e334576}, isbn = {978-1-4244-4422-9}, keywords = {}, pages = {359-368}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T02:10:01.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 }