Empirical Study on the Efficiency of Search Based Test Generation for EFSM Models | IEEE Conference Publication | IEEE Xplore