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