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  - 2024/12/26

ER  -