A taxonomy of model‐based testing approaches

@article{Utting2012ATO,
  title={A taxonomy of model‐based testing approaches},
  author={M. Utting and A. Pretschner and Bruno Legeard},
  journal={Software Testing},
  year={2012},
  volume={22}
}
Model‐based testing (MBT) relies on models of a system under test and/or its environment to derive test cases for the system. This paper discusses the process of MBT and defines a taxonomy that covers the key aspects of MBT approaches. It is intended to help with understanding the characteristics, similarities and differences of those approaches, and with classifying the approach used in a particular MBT tool. To illustrate the taxonomy, a description of how three different examples of MBT… Expand
Experiences in setting up domain-specific model-based testing
An approach to modularization in model-based testing
Lightweight Model-Based Testing for Enterprise IT
A systematic review of state-based test tools
  • M. Shafique, Y. Labiche
  • Computer Science
  • International Journal on Software Tools for Technology Transfer
  • 2013
Recent Advances in Model-Based Testing
A Model-Based Test Case Management Approach for Integrated Sets of Domain-Specific Models
  • R. Pröll, B. Bauer
  • Computer Science
  • 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
  • 2018
Towards an Integrated Methodology for the Development and Testing of Complex Systems
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 98 REFERENCES
A survey on model-based testing approaches: a systematic review
A Systematic Review of Model Based Testing Tool Support
Surveying model based testing approaches characterization attributes
A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges
Abstractions for Model-Based Testing
Model-based testing in practice
Generating test data from state‐based specifications
Boundary coverage criteria for test generation from formal models
...
1
2
3
4
5
...