TY - CONF T1 - A Case Study on the Use of Genetic Algorithms to Generate Test Cases for Temporal Systems PY - 2011/01/01 AU - Derderian K AU - Merayo MG AU - Hierons RM AU - N煤帽ez M ED - DO - DOI: 10.1007/978-3-642-21498-1_50 PB - Springer Berlin Heidelberg SN - 9783642214974 SP - 396 EP - 403 Y2 - 2025/03/13 ER -