Finite state machine induction using genetic algorithm based on testing and model checking.

Fedor Tsarev, Kirill Egorov

Browse the full GECCO paper archive.