HITS: a symbolic testing and debugging system for multilingual microcomputer software
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Hi-index | 4.10 |
The problems of providing quality assurance for computer software have received a good deal of attention from the computing community. Such areas as program proving, automatic programming, structured programming, and hierarchical design/development methodologies have all experienced significant growth-largely as a result of the increased attention focussed on them. Program testing, on the other hand, has not enjoyed the same level of intensive investigation, even though it has a number of technical and intuitive appeals: