Publications

Publications / Conference Poster

Creating Human Readable Path Constraints from Symbolic Execution

Amon, Tod T.; Loffredo, Timothy

Abstract not provided.