The Community for Technology Leaders
Green Image
Issue No. 12 - December (1980 vol. 13)
ISSN: 0018-9162
pp: 17-23
J.C. Huang , University of Houston
ABSTRACT
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.
INDEX TERMS
null
CITATION
J.C. Huang, "Instrumenting Programs for Symbolic-Trace Generation", Computer, vol. 13, no. , pp. 17-23, December 1980, doi:10.1109/MC.1980.1653453
104 ms
(Ver 3.3 (11022016))