TY - CHAP T1 - A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems T2 - Systems Engineering for Business Process Change PY - 2002/01/01 AU - Tracey NJ AU - Clark JA AU - McDermid JA AU - Mander KC AU - Henderson P ED - PB - Springer-verlag SP - 174 EP - 213 Y2 - 2025/05/15 ER -