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

by N J Tracey, J Clark, J McDermid, K Mander
Venue:In Proceedings of the 17th International Conference on System Safety, IEEE