The DOI matches its Crossref record; 28 of the 28 references it cites were found in a registry or an index.
A taxonomy of model‐based testing approaches
Open accessAbstract
SUMMARY: 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 tools fit into the taxonomy is provided. Copyright © 2011 John Wiley & Sons, Ltd.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
Lecture Notes in Computer Science 1205
(1999) · Industrial Robot: An International Journal · doi:10.1108/ir.1999.04926fae.001 · Cited by 38,662
Search‐based software test data generation: a survey
McMinn, P. (2004) · Software Testing, Verification and Reliability · doi:10.1002/stvr.294 · Cited by 1,368
Testing Object-Oriented Systems: Models, Patterns, and Tools
Binder, R. V. (1999) · Cited by 1,285
Software unit test coverage and adequacy
Zhu, H., Hall, P. A. V., & May, J. H. R. (1997) · ACM Computing Surveys · doi:10.1145/267580.267590 · Cited by 1,247
Principles and methods of testing finite state machines-a survey
Lee, D., & Yannakakis, M. (1996) · Proceedings of the IEEE · doi:10.1109/5.533956 · Cited by 1,228
Practical Model-Based Testing: A Tools Approach
Utting, M., & Legeard, B. (2006) · Cited by 1,086
Self-citationIs mutation an appropriate tool for testing experiments?
Andrews, J. H., Briand, L. C., & Labiche, Y. (2005) · Proceedings of the 27th international conference on Software engineering - ICSE '05 · doi:10.1145/1062455.1062530 · Cited by 777
An Evaluation of Random Testing
Duran, J. W., & Ntafos, S. C. (1984) · IEEE Transactions on Software Engineering · doi:10.1109/tse.1984.5010257 · Cited by 684
Model-Based Testing of Reactive Systems: Advanced Lectures
(2005) · Lecture Notes in Computer Science · doi:10.1007/b137241 · Cited by 511
Black Box Testing: Techniques for Functional Testing of Software and Systems
Beizer, B., & Wiley, J. (1996) · IEEE Software · doi:10.1109/ms.1996.536464 · Cited by 450
Cited by
The oracle problem in software testing: A survey
Barr, E. T., Harman, M., McMinn, P., Shahbaz, M., & Yoo, S. (2015) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2014.2372785 · Cited by 1,104
Model-based testing for software safety: a systematic mapping study
Gurbuz, H. G., & Tekinerdogan, B. (2018) · Software Quality Journal · doi:10.1007/s11219-017-9386-2 · Cited by 78
Metadata
- Authors
- Utting, M., Pretschner, A., & Legeard, B.
- Venue
- Software Testing, Verification and Reliability
- Publisher
- Wiley
- Published
- 2011-04-12
- Volume
- 22
- Issue
- 5
- Pages
- 297-312
- ISSN
- 0960-0833 (ISSN-L)
- 1099-1689
- OpenAlex
- W2119296494
- Cited by
- 632
- References
- 28
- FWCI
- 101.28
- Type
- journal article
- Language
- en
- Open access
- bronze
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: A taxonomy of model‐based testing approaches. https://app.cochat.ai/papers/10.1002/stvr.456
- The paper
- Utting, M., Pretschner, A., & Legeard, B. (2012). A taxonomy of model‐based testing approaches. Software Testing, Verification and Reliability. https://doi.org/10.1002/stvr.456
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
