Szelektív automatikus tesztgenerálás EFSM formális modellekhez hiba és string szerkesztési távolság alapú módszerekkel