On testing hierarchies for protocols

Authors:
Deepinder P. Sidhu;Howard Motteler;Raghu Vallurupalli
Affiliations:
Maryland Center for Telecommunications Research, Department of Computer Science, University of Maryland-Baltimore County, Battimore, MD and the Institute for Advanced Computer Studies, University ...;Maryland Center for Telecommunications Research, Department of Computer Science, University of Maryland-Baltimore County, Battimore, MD and the Institute for Advanced Computer Studies, University ...;Maryland Center for Telecommunications Research, Department of Computer Science, University of Maryland-Baltimore County, Battimore, MD and the Institute for Advanced Computer Studies, University ...
Venue:
IEEE/ACM Transactions on Networking (TON)
Year:
1993

OSI conformance testing

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure

Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study

IEEE Transactions on Software Engineering
An improved protocol test generation procedure based on UIOS

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Testing finite state machines

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series
The first ten years, the next ten years

Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X

Hi-index	0.02