Baldoni R, Coppa E, D’elia D C, et al. A survey of symbolic execution techniques[J]. ACM Computing Surveys (CSUR), 2018, 51(3): 1-39.
http://season-lab.github.io/papers/survey-symbolic-execution-preprint-CSUR18.pdf
A_Survey_of_Symbolic_Execution_Techniques
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||