TY - JOUR T1 - Using genetic algorithms to generate test sequences for complex timed systems JO - Soft Computing UR - https://doi.org/10.1007/s00500-012-0894-5 PY - 2012/07/24 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 - 2025/11/05 ER -