An automatic software test driver is a new type of software tool which controls and monitors the execution of software tests. An automatic test driver is controlled by a formal test procedure coded in a special software test language. The test procedure ...

In this paper we describe a system for symbolic interpretation and tracing of programs written in PASCAL. We show how the symbolic execution method of King can be extended to handle special PASCAL-features and complex data structures. The system is ...

A theory is presented of how a programmer goes about understanding a program. The theory is based on a representation of knowledge about programs as a succession of knowledge domains which bridge between the problem domain and the executing program. A ...

Methods are presented whereby an Algol-like program, given together with its specifications, can be documented automatically. The program is incrementally annotated with invariant relationships that hold between program variables at intermediate points ...

FAST (Fortran Analysis System) implements a powerful set of analysis capabilities on Fortran source language programs. Its implementation was accomplished through the integration of existing software systems and by the use of modern language system ...