@inproceedings{ kr94,
  title = {Generating Tests using Abduction}
}
,
  url = {kr94.pdf}
}
,
  booktitle = {Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94)}
}
,
  author = {McIlraith, S.}
}
,
  year = {1994}
}
,
  month = {May 24-27}
}
,
  address = {Bonn, Germany}
}
,
  pages = {449-460}
}