Testing, Proof and Automation. An Integrated Approach

In the Proceedings of the 1st International Workshop of Automated Program Analysis, Testing and Verification. June 2000.

Simon Burton, John Clark and John McDermid

@inproceedings{Burton-00a,
  author    = {Simon Burton and John Clark and John McDermid},
  title     = {Testing, Proof and Automation. An Integrated Approach},
  booktitle = {In the Proceedings of the 1st International Workshop of Automated Program 
        Analysis, Testing and Verification. June 2000.},
  organization = {{ACM\/SIGSOFT IEEE Computer Science}},
  month     = {June},
  year      = {2000}
}

Back to Publications.