Issue No. 07 - July (1977 vol. 10)
E.F. Miller , Software Research Associates
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:
E. Miller, "Special Feature Program Testing: Art Meets Theory*," in Computer, vol. 10, no. , pp. 42-51, 1977.