Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification (1999)

by Nigel Tracey, John Clark, John McDermid, Keith Mander
Venue:17th International System Safety Conference. Pages