Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi. A Survey of Symbolic Execution Techniques. ACM Computing Surveys, 51(3), 2018. [doi]
@article{BaldoniCDDF18,
title = {A Survey of Symbolic Execution Techniques},
author = {Roberto Baldoni and Emilio Coppa and Daniele Cono D'Elia and Camil Demetrescu and Irene Finocchi},
year = {2018},
doi = {10.1145/3182657},
url = {https://doi.org/10.1145/3182657},
researchr = {https://researchr.org/publication/BaldoniCDDF18},
cites = {0},
citedby = {0},
journal = {ACM Computing Surveys},
volume = {51},
number = {3},
}