TY  - RPRT
TI  - A Survey of Symbolic Execution Techniques
AU  - Roberto Baldoni
AU  - Emilio Coppa
AU  - Daniele Cono D'Elia
AU  - Camil Demetrescu
AU  - Irene Finocchi
PY  - 2018
UR  - https://arxiv.org/abs/1610.00502
ID  - 1610.00502
ER  -