@inproceedings{Xie_2009,
    doi = {10.1109/dsn.2009.5270315},
    url = {https://doi.org/10.1109%2Fdsn.2009.5270315},
    year = {2009},
    month = {jun},
    publisher = {{IEEE}},
    author = {Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte},
    title = {Fitness-guided path exploration in dynamic symbolic execution},
    booktitle = {2009 {IEEE}/{IFIP} International Conference on Dependable Systems {\&} Networks}
}

@inproceedings{Xie_2009, doi = {10.1109/dsn.2009.5270315}, url = {https://doi.org/10.1109%2Fdsn.2009.5270315}, year = {2009}, month = {jun}, publisher = {{IEEE}}, author = {Tao Xie and Nikolai Tillmann and Jonathan de Halleux and Wolfram Schulte}, title = {Fitness-guided path exploration in dynamic symbolic execution}, booktitle = {2009 {IEEE}/{IFIP} International Conference on Dependable Systems {\&} Networks} }

Library Size: 13G (12941 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge