Protocol Testing and Verification within AT&T
Alfred V. Aho, Barry S. Bosik, Stephen J. Griesmer · AT&T Technical Journal · 1990
This issue of the AT&T Technical Journal emphasizes the importance to AT&T of industry-standard protocols in the design of communications networks. The articles describe the broad range of work conducted within the company in the development of procedures and tools to verify and test communications protocols.