README

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}
}