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  - 2024/12/22

ER  -