Issue No.12 - December (1980 vol.13)
J.C. Huang , University of Houston
Symbolic traces increase error-detection capabilities of program tests and indicate the extent of their coverage. This instrumentation system generates traces automatically upon program execution.
J.C. Huang, "Instrumenting Programs for Symbolic-Trace Generation", Computer, vol.13, no. 12, pp. 17-23, December 1980, doi:10.1109/MC.1980.1653453