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
Combination testing strategies: a survey
Grindal, M., Offutt, J., & Andler, S. F. (2005) · Software Testing, Verification and Reliability · doi:10.1002/stvr.319 · Cited by 425
Partition testing does not inspire confidence (program testing)
Hamlet, D., & Taylor, R. (1990) · IEEE Transactions on Software Engineering · doi:10.1109/32.62448 · Cited by 400
Is mutation an appropriate tool for testing experiments?
Andrews, J. H., Brand, L. C., & Labiche, Y. (2005) · Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. · doi:10.1109/icse.2005.1553583 · Cited by 368
Using formal specifications to support testing
Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., et al. (2009) · ACM Computing Surveys · doi:10.1145/1459352.1459354 · Cited by 356
A taxonomy and catalog of runtime software-fault monitoring tools
Delgado, N., Gates, A. Q., & Roach, S. (2004) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2004.91 · Cited by 343
Generating test data from state‐based specifications
Offutt, J., Liu, S., Abdurazik, A., & Ammann, P. (2003) · Software Testing Verification and Reliability · doi:10.1002/stvr.264 · Cited by 327
A survey on model-based testing approaches: a systematic review
Dias Neto, A. C., Subramanyan, R., Vieira, M., & Travassos, G. H. (2007) · Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 · doi:10.1145/1353673.1353681 · Cited by 306
Formal specification: a roadmap
Lamsweerde, A. V. (2000) · Proceedings of the Conference on The Future of Software Engineering · doi:10.1145/336512.336546 · Cited by 249
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer
Veanes, M., Campbell, C., Grieskamp, W., Schulte, W., Tillmann, N., & Nachmanson, L. (2008) · Lecture Notes in Computer Science · doi:10.1007/978-3-540-78917-8_2 · Cited by 236
Software Reliability Engineering: More Reliable Software Faster and Cheaper
Musa, D. (2004) · AuthorHouse eBooks · Cited by 223
Black-box testing: Techniques for functional testing of software and systems
HORCH, J. W. (1996) · Control Engineering Practice · doi:10.1016/0967-0661(96)83722-1 · Cited by 200
JUMBL: a tool for model-based statistical testing
Prowell, S. (2003) · Proceedings of the ... Annual Hawaii International Conference on System Sciences/Proceedings of the Annual Hawaii International Conference on System Sciences · doi:10.1109/hicss.2003.1174916 · Cited by 68
Automating test case generation from Z specifications with Isabelle
Helke, S., Neustupny, T., & Santen, T. (1997) · Lecture notes in computer science · doi:10.1007/bfb0027283 · Cited by 67
A systematic review of model based testing tool support
Shafique, M., & Labiche, Y. (2010) · Carleton University's Institutional Repository (MacOdrum Library, Carleton University) · Cited by 61
Improving Evidence about Software Technologies: A Look at Model-Based Testing
Neto, A. D., Subramanyan, R., Vieira, M., Travassos, G. H., & Shull, F. J. (2008) · IEEE Software · doi:10.1109/ms.2008.64 · Cited by 57
TMap Next, for result-driven testing
Koomen, T., van der Aalst, L., Broekman, B., & Vroon, M. (2006) · Cited by 47
Classical search strategies for test case generation with Constraint Logic Programming
Pretschner, A. (2001) · Cited by 47
Self-citationRecent Advances in Intrusion Detection
Kruegel, C., Lippmann, R. P., & Clark, A. E. (2007) · Lecture notes in computer science · doi:10.1007/978-3-540-74320-0 · Cited by 23
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
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.
