Tsarev, F.: Induction of finite state machines using genetic programming with fitness based on testing. Information and Control Systems(5), 31-36 (2010)