![](/img/cover-not-exists.png)
A Survey of Symbolic Execution Techniques
Baldoni, Roberto, Coppa, Emilio, D’elia, Daniele Cono, Demetrescu, Camil, Finocchi, IreneVolume:
51
Language:
english
Journal:
ACM Computing Surveys
DOI:
10.1145/3182657
Date:
May, 2018
File:
PDF, 1.27 MB
english, 2018