TY - CHAP T1 - A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems T2 - Systems Engineering for Business Process Change: New Directions UR - https://doi.org/10.1007/978-1-4471-0135-2_12 PY - 2002/01/01 AU - Tracey N AU - Clark J AU - McDermid J AU - Mander K ED - DO - DOI: 10.1007/978-1-4471-0135-2_12 PB - Springer London SN - 9781447110842 SP - 174 EP - 213 Y2 - 2025/11/04 ER -