Boundary coverage criteria for test generation from formal models

  title={Boundary coverage criteria for test generation from formal models},
  author={Nikolai Kosmatov and Bruno Legeard and Fabien Peureux and Mark Utting},
  journal={15th International Symposium on Software Reliability Engineering},
This paper proposes a new family of model-based coverage criteria, based on formalizing boundary-value testing heuristics. The new criteria form a hierarchy of data-oriented coverage criteria, and can be applied to any formal notation that uses variables and values. They can be used either to measure the coverage of an existing test set, or to generate tests from a formal model. We give algorithms that can be used to generate tests that satisfy the criteria. These algorithms and criteria have… CONTINUE READING
Highly Cited
This paper has 69 citations. REVIEW CITATIONS


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

Efficient Test Data Generation for Variables with Complex Dependencies

2008 1st International Conference on Software Testing, Verification, and Validation • 2008
View 6 Excerpts
Highly Influenced

CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems

USENIX Annual Technical Conference • 2017
View 1 Excerpt

Automatic test case generation for programmable logic controller using function block diagram

2016 International Conference on Information Communication and Embedded Systems (ICICES) • 2016

70 Citations

Citations per Year
Semantic Scholar estimates that this publication has 70 citations based on the available data.

See our FAQ for additional information.


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

Boundary Values and Automated Component Testing

Softw. Test., Verif. Reliab. • 1999
View 3 Excerpts
Highly Influenced

A Domain Strategy for Computer Program Testing

IEEE Transactions on Software Engineering • 1980
View 3 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…