Automated Game Testing in whict the models are developed in UML using a proposed model-based testing profile for platform games. The models include a domain model and state machines representing the game play behavior of an avatar. The state machine is used to generate test cases using the N+ testing strategy. The generated test cases result in short execution sequences, which can then be combined to generate interesting game testing scenarios.

Object Constraint Language (OCL) is an international modeling standard for writing constraints on Unified Modeling Language (UML) diagrams. These constraints can be written at various levels, e.g., they can represent class and state invariants, guards in state machines, constraints in sequence diagrams, and pre and post conditions of operations.

We use product-line engineering in collaboration with model-driven engineering to generate feature-based mobile application variants for multiple platforms, and developed a tool named MOPPET. Specifically, we deal with three types of variations in mobile applications: variation due to operation systems and their versions, variations due to software and hardware capabilities of mobile devices, and variations based on the functionalities offered by the mobile application. We define a modeling methodology (using UML) for mobile application modeling and feature model for mobile application variability.

The model transformation testing environment (motter) is a tool-set that implements searchbased approach to provide automated structural testing of model transformations and metamodel. Motter generate set of test cases that not only covers various execution paths but also generates valid meta-model instances. Therefore, the use of motter tool is two-folded, one in the generation of valid meta-model instances to maximize the meta-model coverage and other in the generation of test models, that automated the process of test.