TY - CONF T1 - Evolutionary testing of state-based programs JO - GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2 PY - 2005/01/01 AU - McMinn P AU - Holcombe M ED - Beyer HG SP - 1013 EP - 1020 Y2 - 2024/12/23 ER -