An experimental determination of sufficient mutant operators
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Art of Software Testing
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Boundary Coverage Criteria for Test Generation from Formal Models
ISSRE '04 Proceedings of the 15th International Symposium on Software Reliability Engineering
Is mutation an appropriate tool for testing experiments?
Proceedings of the 27th international conference on Software engineering
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)
Improving Statechart Testing Criteria Using Data Flow Information
ISSRE '05 Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
IEEE Transactions on Software Engineering
Introduction to Software Testing
Introduction to Software Testing
The effect of program and model structure on mc/dc test adequacy coverage
Proceedings of the 30th international conference on Software engineering
Quality of Automatically Generated Test Cases based on OCL Expressions
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
Ordering Coverage Goals in Model Checker Based Testing
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Using UML collaboration diagrams for static checking and test generation
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Improving test coverage for UML state machines using transition instrumentation
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
On integrating structure and behavior modeling with OCL
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Automatic model-based test generation is influenced by many factors such as the test generation algorithm, the structure of the used test model, and the applied coverage criteria. In this paper, we report on an industrial cooperation for model-based testing: We used a UML state machine to generate test suites, the original system under test was not provided, and we conducted mutation analysis on artificial implementations. The focus of this report is on tuning the influencing factors of the test generation and showing their impact on the generated test suites. This report raises further questions, e.g. about the role of test model transformations for coverage criteria satisfaction.