用于协议一致性测试序列生成的状态规范化算法 - 倪群; 苏彤; 程时端 (Tongxin xuebao)