@article{journals/software/Denney91,
  added-at = {2011-11-07T00:00:00.000+0100},
  author = {Denney, Richard},
  biburl = {http://www.bibsonomy.org/bibtex/20fe07f8c2796cb33ab8747d58f270086/dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/52.73749},
  interhash = {1cd986357de24bdfc16fd6eb9745e3c2},
  intrahash = {0fe07f8c2796cb33ab8747d58f270086},
  journal = {IEEE Software},
  keywords = {dblp},
  number = 2,
  pages = {49-57},
  timestamp = {2011-11-07T00:00:00.000+0100},
  title = {Test-Case Generation from Prolog-Based Specifications.},
  url = {http://dblp.uni-trier.de/db/journals/software/software8.html#Denney91},
  volume = 8,
  year = 1991
}