Statecharts: A visual formalism for complex systems
Science of Computer Programming
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
A survey of communication protocol testing
Journal of Systems and Software
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
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)
Software Testing, Verification & Reliability
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Feature Interaction Aware Test Case Generation for Embedded Control Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-based pairwise testing for feature interaction coverage in software product line engineering
Software Quality Control
| Hi-index | 0.00 |
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also be used as a basis for generating test case sets. In this work we introduce a novel representation of state-charts which subsumes common features of different state-chart variants. Based on this model and well-defined test criteria, efficient algorithms are introduced for generating test case sets. Those test case sets are minimized to cover both the model of SUC and its inversion, i.e., the complementary model.