TY  - CHAP

T1  - Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification

T2  - Proceedings of 17th International System Safety Conference

PY  - -0001/11/30

AU  - Tracey N

AU  - Clark J

AU  - McDermid J

AU  - Mander K

ED  - 

SP  - 128

EP  - 137

Y2  - 2024/12/22

ER  -