From Specifications to Test Cases: AI in Software Quality

Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke. From Specifications to Test Cases: AI in Software Quality. In ICC. pages 1176-1179, 1986.

@inproceedings{ZlatinAP86,
  title = {From Specifications to Test Cases: AI in Software Quality},
  author = {Daniel R. Zlatin and Raymond Aubin and Richard D. Peacocke},
  year = {1986},
  tags = {testing},
  researchr = {https://researchr.org/publication/ZlatinAP86},
  cites = {0},
  citedby = {0},
  pages = {1176-1179},
  booktitle = {ICC},
}