Progress Toward Automated Software Testing

@inproceedings{DeMillo:ICSE91,
  author    = {Richard A. DeMillo},
  title     = {Progress Toward Automated Software Testing},
  booktitle = {ICSE},
  pages     = {180--183},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1991},
}