Issue No. 01 - January (1978 vol. 4)
W.E. Howden , Department of Mathematics, University of Victoria
The basic features of the DISSECT symbolic testing tool are described. Usage procedures are outlined and the special advantages of the tool are summarized. Cost estimates for using the tool are provided and the results of experiments to determine its effectiveness are included. The background and history of the development of the tool are outlined. The availability of the tool is described and a listing of reference materials is included.
usage, Availability, costs, effectiveness, program testing, software tool, symbolic evaluation
W. Howden, "DISSECT-A Symbolic Evaluation and Program Testing System," in IEEE Transactions on Software Engineering, vol. 4, no. , pp. 70-73, 1978.