An Applicable Family of Data Flow Testing Criteria
IEEE Transactions on Software Engineering
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Black-box testing: techniques for functional testing of software and systems
Black-box testing: techniques for functional testing of software and systems
The AETG System: An Approach to Testing Based on Combinatorial Design
IEEE Transactions on Software Engineering
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Generating transition probabilities to support model-based software testing
Software—Practice & Experience
A Comparison of Some Structural Testing Strategies
IEEE Transactions on Software Engineering
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
STG: A Symbolic Test Generation Tool
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SCENTOR: Scenario-Based Testing of E-Business Applications
WETICE '01 Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Automating Test Case Generation from Z Specifications with Isabelle
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Test Sequences Generation from LUSTRE Descriptions: GATEL
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
JUMBL: A Tool for Model-Based Statistical Testing
HICSS '03 Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03) - Track 9 - Volume 9
Scenario-based Object-Oriented Testing Framework
QSIC '03 Proceedings of the Third International Conference on Quality Software
Boundary Coverage Criteria for Test Generation from Formal Models
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Software Reliability Engineering: More Reliable Software Faster and Cheaper
Software Reliability Engineering: More Reliable Software Faster and Cheaper
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
Search-based software test data generation: a survey: Research Articles
Software Testing, Verification & Reliability
Software Testing, Verification & Reliability - SoftTest II: The Second UK Workshop on Software Testing Research
Towards a taxonomy of approaches for mining of source code repositories
MSR '05 Proceedings of the 2005 international workshop on Mining software repositories
Case studies on fault detection effectiveness of model based test generation techniques
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
TMap Next, for result-driven testing
TMap Next, for result-driven testing
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Model-Based Software Testing and Analysis with C#
Model-Based Software Testing and Analysis with C#
A survey on model-based testing approaches: a systematic review
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
Generating security tests in addition to functional tests
Proceedings of the 3rd international workshop on Automation of software test
Surveying model based testing approaches characterization attributes
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Foundations of Software Testing: ISTQB Certification
Foundations of Software Testing: ISTQB Certification
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Abstractions for Model-Based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Testing data types implementations from algebraic specifications
Formal methods and testing
An Introduction to TTCN-3
An Evaluation of Random Testing
IEEE Transactions on Software Engineering
Towards an integrated approach for validating qualities of self-adaptive systems
Proceedings of the 2012 Workshop on Dynamic Analysis
The science of killing bugs in a black box
SBLP'12 Proceedings of the 16th Brazilian conference on Programming Languages
Active continuous quality control
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Model-based testing in legacy software modernization: an experience report
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
An auto-review tool for model-based testing of safety-critical systems
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
A taxonomy for requirements engineering and software test alignment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated testing of chef automation scripts
Proceedings Demo & Poster Track of ACM/IFIP/USENIX International Middleware Conference
Runtime verification of state machines and defect localization applying model-based testing
Proceedings of the WICSA 2014 Companion Volume
| Hi-index | 0.00 |
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.