A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models 继续是IEEE协会研究成果