Creating Human Readable Path Constraints from Symbolic Execution

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

Paper

Slides

View More Papers

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

Robin David (Quarkslab)

Abraham A. Clements, Logan Carpenter, William A. Moeglein (Sandia National Laboratories), Christopher Wright (Purdue University)