Integrating Automated Testing with Exception Freeness Proofs for Safety Critical Systems

In the Proceedings of 4th Australian Workshop on Safety Critical Systems and Software. Australian Computer Society. November 1999.

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

@inproceedings{tracey-99c,
  author    = {Nigel Tracey and John Clark and Keith Mander and John McDermid},
  title     = {Integrating Automated Testing with Exception Freeness Proofs for Safety
          Critical Systems},
  booktitle = {In the Proceedings of 4th Australian Workshop on Safety Critical
        Systems and Software},
  organization = {Australian Computer Society},
  month     = {November},
  year      = {1999}
}

Back to Publications.