An automated instrumentation system for generating symbolic traces

A symbolic trace is a linear listing of source statements and branch predicates that occur along an execution path. It can be used to facilitate program debugging and testing. This thesis describes the design and implementation of a software system for automatically generating symbolic traces of FORTRAN programs. The system consists of two parts. The first part is a preprocessor that will instrument a program so that a symbolic trace will be automatically produced upon an execution. The second part is designed to modify a symbolic trace produced by the first part to enhance its readability and increase its information content.