Behçet Sarikaya. Formal specification-based conformance testing. In Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986. pages 236-240, ACM, 1986. [doi]
@inproceedings{Sarikaya86, title = {Formal specification-based conformance testing}, author = {Behçet Sarikaya}, year = {1986}, doi = {10.1145/18172.18199}, url = {http://doi.acm.org/10.1145/18172.18199}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/Sarikaya86}, cites = {0}, citedby = {0}, pages = {236-240}, booktitle = {Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, 1986, Stowe, Vermont, United States August 5-7, 1986}, publisher = {ACM}, isbn = {0-89791-201-2}, }