Formal specification-based conformance testing

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