TY  - RPRT
TI  - Automated Software Understanding: Binary Analysis via Symbolic Execution.
AU  - Sabetan, Sam
PY  - 2017
UR  - https://www.osti.gov/biblio/1508222
ID  - 1508222
ER  -