Mathew Hall, Phil McMinn, Neil Walkinshaw. Superstate identification for state machines using search-based clustering. In Martin Pelikan, Jürgen Branke, editors, Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010. pages 1381-1388, ACM, 2010. [doi]
Abstract is missing.