James C. King

TL;DR: A particular system called EFFIGY which provides symbolic execution for program testing and debugging is described, which interpretively executes programs written in a simple PL/I style programming language.

TL;DR: This work proposes that a program can be more effectively tested by executing it "symbolically" by supplying specific constants as input values to a program being tested, and designed and implemented an interactive debugging/testing system called EFFIGY.

TL;DR: This work proposes that a program can be more effectively tested by executing it "symbolically" by supplying specific constants as input values to a program being tested, and designed and implemented an interactive debugging/testing system called EFFIGY.

TL;DR: This paper explains, in an introductory fashion, the method of specifying the correct behavior of a program by the use of input/output assertions and describes one method for showing that the program is correct with respect to those assertions.

TL;DR: The architecture of an experimental document composition system named JANUS, which is intended to support authors of complex documents containing mixtures of text and images, is described.