For many program errors and program checkout problems, on-line techniques provide a promising method of attack. An approach developed in connection with time -sharing computer systems is examined. Then Program Trace, ...