DISSECT—A Symbolic Evaluation and Program Testing System
- 1 January 1978
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-4 (1) , 70-73
- https://doi.org/10.1109/tse.1978.231468
Abstract
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.Keywords
This publication has 6 references indexed in Scilit:
- Symbolic Testing and the DISSECT Symbolic Evaluation SystemIEEE Transactions on Software Engineering, 1977
- A System to Generate Test Data and Symbolically Execute ProgramsIEEE Transactions on Software Engineering, 1976
- Symbolic execution and program testingCommunications of the ACM, 1976
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- SELECT---a formal system for testing and debugging programs by symbolic executionPublished by Association for Computing Machinery (ACM) ,1975
- An empirical study of FORTRAN programsSoftware: Practice and Experience, 1971