Special Feature Program Testing: Art Meets Theory*

@article{Miller1977SpecialFP,
  title={Special Feature Program Testing: Art Meets Theory*},
  author={Edward F. Miller},
  journal={Computer},
  year={1977},
  volume={10},
  pages={42-51}
}
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