Creating Human Readable Path Constraints from Symbolic Execution

Tod Amon (Sandia National Laboratories), Tim Loffredo (Sandia National Laboratories)

Paper

Slides

View More Papers

Walid J. Ghandour, Clémentine Maurice (CNRS, CRIStAL)

Laura Matzen, Michelle A Leger, Geoffrey Reedy (Sandia National Laboratories)

Dr. Sergey Bratus, DARPA PI and Research Associate Professor at Dartmouth College

Dr. Barton P. Miller (Vilas Distinguished Achievement Professor at The University of Wisconsin-Madison)