Fedor Tsarev, Kirill Egorov. Finite state machine induction using genetic algorithm based on testing and model checking. In Natalio Krasnogor, Pier Luca Lanzi, editors, 13th Annual Genetic and Evolutionary Computation Conference, GECCO 2011, Companion Material Proceedings, Dublin, Ireland, July 12-16, 2011. pages 759-762, ACM, 2011. [doi]
Abstract is missing.