利用逆向判定性缩短EFSM的测试序列的长度 - 周晓煜; 屈玉贵; 赵保华 (Tongxin xuebao)