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]
Abstract is missing.