This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Symbolic Testing and the DISSECT Symbolic Evaluation System
July 1977 (vol. 3 no. 4)
pp. 266-278
W.E. Howden, Department of Applied Physics and Information Science, University of California
Symbolic testing and a symbolic evaluation system called DISSECT are described. The principle features of DISSECT are outlined. The results of two classes of experiments in the use of symbolic evaluadon are summarized. Several classes of program errors are defined and the reliability of symbolic testing in finding bugs is related to the classes of errors. The relationship of symbolic evaluation systems like DISSECT to classes of program errors and to other kinds of program testing and program analysis tools is also discussed. Desirable improvements in DISSECT, whose importance was revealed by the experiments, are mentioned.
Index Terms:
test data generation, Automated aids, data flow analysis, program correctness, program specifications, program testing, software errors, software reliability, symbolic evaluation
Citation:
W.E. Howden, "Symbolic Testing and the DISSECT Symbolic Evaluation System," IEEE Transactions on Software Engineering, vol. 3, no. 4, pp. 266-278, July 1977, doi:10.1109/TSE.1977.231144
Usage of this product signifies your acceptance of the Terms of Use.