Ralf Kneuper: Symbolic execution: a semantic approach

Science of Computer Programming, Vol. 16 (1991), S. 207-249

This paper discusses symbolic execution of programs or specifications from a semantic point of view. As a first step, it considers the semantics of programs in general and the meaning of the terms `execution' and `executable'. Based on that, it provides a denotational and an operational semantics of symbolic execution, and relates the two.