Title :
Instrumenting Programs for Symbolic-Trace Generation
Author_Institution :
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.
Keywords :
Computer displays; Computer errors; Debugging; Error detection; Instruments; Performance evaluation; Programming profession;
DOI :
10.1109/MC.1980.1653453
