TY - JOUR T1 - Using genetic algorithms to generate test sequences for complex timed systems JO - Soft Computing PY - 2013/01/01 AU - Núñez A AU - Merayo MG AU - Hierons RM AU - Núñez M ED - DO - DOI: 10.1007/s00500-012-0894-5 PB - Springer Science and Business Media LLC VL - 17 IS - 2 SP - 301 EP - 315 Y2 - 2024/12/21 ER -