一种通信有限状态机的被动测试及其错误诊断

• Passive Testing and Fault Diagnosis for Communication Finite State Machines