时序系统的状态组区别序列测试方法

• Test Generation of State Group Differentiating Sequence Set for Sequential Systems