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. Huang, "Instrumenting Programs for Symbolic-Trace Generation," in Computer, vol. 13, no. , pp. 17-23, 1980.