Test Case Generation Using Prolog

@inproceedings{Pesch-al:ICSE85,
  author    = {Herbert Pesch and
               Peter Schnupp and
               Hans Schaller and
               A. P. Spirk},
  title     = {Test Case Generation Using Prolog},
  booktitle = {ICSE},
  pages     = {252--258},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}