@inproceedings{DBLP:conf/icse/PeschSSS85,
  author    = {Herbert Pesch and
               Peter Schnupp and
               Hans Schaller and
               A. P. Spirk},
  title     = {Test Case Generation Using Prolog},
  booktitle = {ICSE},
  year      = {1985},
  pages     = {252-258},
  ee        = {http://dl.acm.org/citation.cfm?id=319647},
  crossref  = {DBLP:conf/icse/1985},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icse/1985,
  editor    = {Meir M. Lehman and
               Horst H{\"u}nke and
               Barry W. Boehm},
  title     = {Proceedings, 8th International Conference on Software Engineering,
               London, UK, August 28-30, 1985},
  booktitle = {ICSE},
  publisher = {IEEE Computer Society},
  year      = {1985},
  isbn      = {0-8186-0620-7},
  ee        = {http://dl.acm.org/citation.cfm?id=319568},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}