TY - CONF T1 - Superstate identification for state machines using search-based clustering. JO - GECCO UR - http://www.informatik.uni-trier.de/~ley/db/conf/gecco/gecco2010.html PY - 2010/01/01 AU - Hall M AU - McMinn P AU - Walkinshaw N ED - Pelikan M ED - Branke J PB - ACM SN - 978-1-4503-0072-8 SP - 1381 EP - 1388 Y2 - 2025/05/21 ER -