A Combined Testing and Verification Approach for Software Reliability

@inproceedings{Sharygina2001ACT,
  title={A Combined Testing and Verification Approach for Software Reliability},
  author={Natasha Sharygina and Doron A. Peled},
  booktitle={FME},
  year={2001}
}
Automatic and manual software verification is based on applying mathematical methods to a model of the software. Modeling is usually done manually, thus it is prone to modeling errors. This means that errors found in the model may not correspond to real errors in the code, and that if the model is found to satisfy the checked properties, the actual code may… CONTINUE READING