A Unified Approach to Protocol Test Sequence Generation.

Samuel T. Chanson Jinsong Zhu A Unified Approach to Protocol Test Sequence Generation. 106-114 1993 INFOCOM db/conf/infocom/infocom1993-1.html#ChansonZ93