Instrumenting Programs for Symbolic-Trace Generation

1 December 1980

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer

Vol. 13 (12) , 17-23
https://doi.org/10.1109/mc.1980.1653453

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

This publication has 12 references indexed in Scilit:

Detection of Data Flow Anomaly Through Program Instrumentation
IEEE Transactions on Software Engineering, 1979
Program Instrumentation and Software Testing
Computer, 1978
On the Automated Generation of Program Test Data
IEEE Transactions on Software Engineering, 1976
An Introduction to Proving the Correctness of Programs
ACM Computing Surveys, 1976
Reliability of the Path Analysis Testing Strategy
IEEE Transactions on Software Engineering, 1976
An Approach to Program Testing
ACM Computing Surveys, 1975
Testing large software with automated software evaluation systems
IEEE Transactions on Software Engineering, 1975
The use of software probes in testing FORTRAN programs
Computer, 1974
A prototype automatic program testing tool
Published by Association for Computing Machinery (ACM) ,1972
Instrumenting computer systems and their programs
Published by Association for Computing Machinery (ACM) ,1970