@inproceedings{Cadar_2015,
    doi = {10.1145/2786805.2803205},
    url = {https://doi.org/10.1145%2F2786805.2803205},
    year = {2015},
    month = {aug},
    publisher = {{ACM}},
    author = {Cristian Cadar},
    title = {Targeted program transformations for symbolic execution},
    booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering}
}

@inproceedings{Cadar_2015, doi = {10.1145/2786805.2803205}, url = {https://doi.org/10.1145%2F2786805.2803205}, year = {2015}, month = {aug}, publisher = {{ACM}}, author = {Cristian Cadar}, title = {Targeted program transformations for symbolic execution}, booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering} }