Kirill Egorov

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Fedor Tsarev, Kirill Egorov
Finite state machine induction using genetic algorithm based on testing and model checking. GECCO (Companion) (2011)