Modeling and Testing of Protocol Systems

This publication has 12 references indexed in Scilit:

• A protocol test generation procedure
  Published by Elsevier ,2003
• Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach
  IEEE Transactions on Communications, 1996
• Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines
  Published by Springer Nature ,1996
• Testing Finite State Machines: Fault Detection
  Journal of Computer and System Sciences, 1995
• Testing finite-state machines: state identification and verification
  IEEE Transactions on Computers, 1994
• On the generation of minimal-length conformance tests for communication protocols
  IEEE/ACM Transactions on Networking, 1993
• An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours
  IEEE Transactions on Communications, 1991
• Protocol conformance test generation using multiple UIO sequences with overlapping
  ACM SIGCOMM Computer Communication Review, 1990
• An improved protocol test generation procedure based on UIOS
  ACM SIGCOMM Computer Communication Review, 1989
• Formal methods for protocol testing: a detailed study
  IEEE Transactions on Software Engineering, 1989