Test Procedures: A New Approach to Software Verification

@inproceedings{Panzl:ICSE76,
  author    = {David J. Panzl},
  title     = {Test Procedures: A New Approach to Software Verification},
  booktitle = {ICSE},
  pages     = {477--485},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}