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