An Automated Program Testing Methodology and Its Implementation

@inproceedings{Andrews-Benson:ICSE81,
  author    = {Dorothy M. Andrews and
               Jeoffrey P. Benson},
  title     = {An Automated Program Testing Methodology and Its Implementation},
  booktitle = {ICSE},
  pages     = {254--262},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}