Software Testing via Model Checking

  title={Software Testing via Model Checking},
  author={Fevzi Belli and Baris G{\"u}ldali},
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have been proposed to avoid the drawbacks of testing, e.g., model checking that can be automatically carried out. This paper presents an approach that (i) generates test cases from the specification and (ii) transfers the specification-oriented testing process to model checking. Thus, the approach combines the advantages of… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 22 references

Majurski, “Using Model Checking to Generate Tests from Specifications

  • P. Ammann, W.P.E. Black
  • 1998
Highly Influential
2 Excerpts

Model Checkers in Software Testing”, NIST-IR 6777

  • P. Ammann, P. E. Black, W. Ding
  • National Institute of Standards and Technology,
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…