Testing with Model Checker : Insuring Fault Visibility

@inproceedings{BLACK2002TestingWM,
  title={Testing with Model Checker : Insuring Fault Visibility},
  author={VADIM OKUN PAUL E. BLACK},
  year={2002}
}
  • VADIM OKUN PAUL E. BLACK
  • Published 2002
To detect a fault in software, a test case execution must enable an intermediate error to propagate to the output. We describe two specification-based mutation testing methods that use a model checker to guarantee propagation of faults to the visible outputs. We evaluate the methods empirically and show that they are better than the previous “direct reflection” approach. Key-Words:formal methods; model checking; specification-based testing; mutation testing 
Highly Cited
This paper has 85 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 52 extracted citations

86 Citations

0102030'05'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.

References

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

An analysis of test data selection criteria using the relay model of fault detection

  • M. C. Thompson
  • Testing with model checker : Insuring fault…
  • 2002

Model checkers in software testing

  • P. Ammann, P. E. Black, W. Ding
  • Tech. Rep. NIST- IR-6777,
  • 2002
2 Excerpts

Testing with model checker: Insuring fault visibility

  • V. Okun, P. E. Black, Y. Yesha
  • Tech. Rep. NIST-IR, National Institute of…
  • 2002
1 Excerpt

Modeling and marshaling: Making tests from model checker counterexamples

  • P. E. Black
  • In Proc. 19th Digital Avionics Systems Conf…
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…