Symbolic Execution Overview

1 Classical Symbolic Execution What is symbolic execution? Reason about the behavior of the program by "executing" it with symbolic value Originally proposed by James King(1976, CACM) and Lori Clarke (1976, IEEE TSE) Became practical around 2005 ...