R. Lai;W. Leung
-;-
A survey of communication protocol testing
Journal of Systems and Software
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications