Effectively Evolving Finite State Machines Compared to Enumeration. - Patrick Ediger; Rolf Hoffmann; Sylvia Grüner (EUROCAST (1), 2011)