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. , pp. 17-23, December 1980, doi:10.1109/MC.1980.1653453