Integrating safety analysis with automatic test data generation for software safety verification (1999)

by N Tracey, J Clark, J McDermid, K Mander
Venue:in: Proceedings of 17th International System Safety Conference, System Safety Society