有限状态机模型测试序列生成算法研究 (Research about FSM Test Sequence Generation Algorithm). - Yuanping Li; Hua Li; Junlan Zhao (计算机科学, 2016)