ATLAS - An Automated Software Testing System

@inproceedings{Jessop-al:ICSE76,
  author    = {W. H. Jessop and
               J. Richard Kane and
               S. Roy and
               J. M. Scanlon},
  title     = {{ATLAS} - An Automated Software Testing System},
  booktitle = {ICSE},
  pages     = {629--635},
  publisher = {{IEEE} Computer Society},
  year      = {1976},
}