Approaches utilizing segment overlap to minimize test sequences

Experience with formal methods in protocol development

ACM SIGCOMM Computer Communication Review

Optimal length test sequence generation using distinguishing sequences

IEEE/ACM Transactions on Networking (TON)

On the generation of minimal-length conformance tests for communication protocols

IEEE/ACM Transactions on Networking (TON)

Structural analysis of protocol specifications and generation of maximal fault coverage conformance test sequences

IEEE/ACM Transactions on Networking (TON)

A reduced test suite for protocol conformance testing

ACM Transactions on Software Engineering and Methodology (TOSEM)

Scientific foundations to the multilevel method

IEEE/ACM Transactions on Networking (TON)

A Matroid-Theoretic Solution to an Assignment Problem in the Conformance Testing of Communication Protocols

IEEE Transactions on Computers

Testing Finite-State Machines: State Identification and Verification

IEEE Transactions on Computers

A survey of communication protocol testing

Journal of Systems and Software

Research: Improving the UIOv-method for protocol conformance testing

Computer Communications

Review: Fault detection and diagnosis capabilities of test sequence selection methods based on the FSM model

Computer Communications

UIOE: a protocol test sequence generation method using the transition executability analysis (TEA)

Computer Communications