The Generating Algorithm of Protocol Consistency Test Sequences Between Combined Control Flow and Data Flow | IEEE Conference Publication | IEEE Xplore