This is a survey by the SEASON lab on symbolic execution tools and techniques.
If you are considering citing our work, we would be grateful if you could use the following BibTeX entry:
@article{SurveySymExec-CSUR18,
author = {Baldoni, Roberto and Coppa, Emilio and D'Elia, Daniele Cono and Demetrescu, Camil and Finocchi, Irene},
title = {A Survey of Symbolic Execution Techniques},
journal = {ACM Comput. Surv.},
volume = {51},
number = {3},
articleno = {50},
publisher = {ACM},
address = {New York, NY, USA},
year = {2018}
}