Creating Human Readable Path Constraints from Symbolic Execution Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories) Paper Slides