@inproceedings{inproceedings, title = {{Superstate identification for state machines using search-based clustering.}}, publisher = {{ACM}}, url = {{http://www.informatik.uni-trier.de/~ley/db/conf/gecco/gecco2010.html }}, year = {{2010}}, month = {{1}}, author = {{Hall M and McMinn P and Walkinshaw N}}, isbn = {{978-1-4503-0072-8}}, journal = {{GECCO}}, pages = {{1381-1388}}, note = {{Accessed on 2024/12/23}}}