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}, }