An Early Report on Encompass

@inproceedings{Terwilliger-Campbell:ICSE88,
  author    = {Robert B. Terwilliger and
               Roy H. Campbell},
  title     = {An Early Report on Encompass},
  booktitle = {ICSE},
  pages     = {344--355},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
}