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

In the proceedings of the 17th International System Safety Conference. 1999.

Nigel Tracey, John Clark, John McDermid and Keith Mander.

@inproceedings{tracey-99a,
  author    = {Nigel Tracey and John Clark and John McDermid and Keith Mander},
  title     = {Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification},
  booktitle = {In the proceedings of 17th Internation System Safety Conference},
  organization = {System Safety Society},
  pages     = {128--137},
  month     = {August},
  year      = {1999}
}

Back to Publications.