Creating Human Readable Path Constraints from Symbolic Execution.

Amon, Tod Tracy; Loffredo, Timothy James

doi:10.14722/bar.2020.23006

DOE OSTI · 1643404

Creating Human Readable Path Constraints from Symbolic Execution.

Amon, Tod Tracy·Loffredo, Timothy James

View original source ↗Read source document ↗Export metadata ↓

Abstract

Abstract not provided.

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Amon, Tod Tracy, Loffredo, Timothy James. 2019-12-01. Creating Human Readable Path Constraints from Symbolic Execution.. https://doi.org/10.14722/bar.2020.23006

Cite the original work for its findings. Save a collection to share your selection of sources.