@inproceedings{Elkarablieh_2009,
    doi = {10.1145/1572272.1572288},
    url = {https://doi.org/10.1145%2F1572272.1572288},
    year = {2009},
    month = {jul},
    publisher = {{ACM}},
    author = {Bassem Elkarablieh and Patrice Godefroid and Michael Y. Levin},
    title = {Precise pointer reasoning for dynamic test generation},
    booktitle = {Proceedings of the eighteenth international symposium on Software testing and analysis}
}

@inproceedings{Elkarablieh_2009, doi = {10.1145/1572272.1572288}, url = {https://doi.org/10.1145%2F1572272.1572288}, year = {2009}, month = {jul}, publisher = {{ACM}}, author = {Bassem Elkarablieh and Patrice Godefroid and Michael Y. Levin}, title = {Precise pointer reasoning for dynamic test generation}, booktitle = {Proceedings of the eighteenth international symposium on Software testing and analysis} }