Error-Based Validation Completeness

@inproceedings{Howden:ICSE89,
  author    = {William E. Howden},
  title     = {{Error-Based} Validation Completeness},
  booktitle = {ICSE},
  pages     = {357},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1989},
}