M. Umit Uyar;Ali Yusuf Duale
-;-
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers