TY  - RPRT
TI  - Creating Human Readable Path Constraints from Symbolic Execution.
AU  - Amon, Tod Tracy
AU  - Loffredo, Timothy James
PY  - 2019
DO  - 10.14722/bar.2020.23006
UR  - https://www.osti.gov/biblio/1643404
ID  - 1643404
ER  -