Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis

@article{Fraser2006UsingMF,
  title={Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis},
  author={Gordon Fraser and Franz Wotawa},
  journal={2006 International Conference on Software Engineering Advances (ICSEA'06)},
  year={2006},
  pages={16-16}
}
Automated software testing is an important measure to improve software quality and the efficiency of the software development process. We present a model-checker based approach to automated test-case generation applying mutation to behavioral models and requirements specifications. Unlike previous related approaches, the requirements specification is at the center of this process. A property coverage criterion is used to show that resulting test-cases sufficiently exercise all aspects of the… CONTINUE READING
Highly Cited
This paper has 20 citations. REVIEW CITATIONS

Citations

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

References

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

L

  • G. Hamon
  • de Moura, and J. Rushby. Automated Test…
  • 2005
1 Excerpt

Oleg Sokolsky

  • I. L. Li Tan
  • Specification-based testing with linear temporal…
  • 2004
1 Excerpt

Model Checkers in Software Testing

  • P. Ammann, P. E. Black, W. Ding
  • Technical report, National Institute of Standards…
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…