Special Feature Program Testing: Art Meets Theory*

  title={Special Feature Program Testing: Art Meets Theory*},
  author={Edward F. Miller},
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… CONTINUE READING