This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
DISSECT-A Symbolic Evaluation and Program Testing System
January 1978 (vol. 4 no. 1)
pp. 70-73
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.
Index Terms:
usage, Availability, costs, effectiveness, program testing, software tool, symbolic evaluation
Citation:
W.E. Howden, "DISSECT-A Symbolic Evaluation and Program Testing System," IEEE Transactions on Software Engineering, vol. 4, no. 1, pp. 70-73, Jan. 1978, doi:10.1109/TSE.1978.231468
Usage of this product signifies your acceptance of the Terms of Use.