Examples Introduction All presented examples are contained in the plugin. To access the corresponding test models and to use them for automatic test generation, you have to import them from the example-feature of ParTeG. This video shows you how to do it. The Sorting Machine The first example is a test model for a sorting machine. This sorting machine detects objects and wraps them up for shipping. Due to using foam for wrapping up these objects, the size of the wrapped-up object is larger than the original size. Since larger objects also need more foam to be wrapped-up safely, the new size depends on the original size. The wrapped-up objects are then sorted to small, normal, and big containers for shipment. The paper "Automatic Test Generation from Coupled UML Models using Iinput Partitions" presented at MoDeVVa 2007 contains more information about this example and also introduces the test case generation process. You can also watch a short video that demonstrates the use of ParTeG. This video also confirms the results presented in the paper. (the video was recorded with version 1.0.0 - the current version differs) The Elevator Control The second example contains a behavioural description of a freight elevator control. This elevator control behaves like most elevators: the user can insert and remove weight and press a button to reach the corresponding target floor. Furthermore, this elevator behaves depending on the actual weight: it refuses to move if it is overloaded, it moves faster to reach its destination earlier if it is empty, and in all other cases, it moves at normal speed. This example is used, e.g. in the paper Quality of Automatically Generated Test Cases based on OCL Expressions. The following video shows the usage of ParTeG 1.2.2 for this example. Furthermore, the effect of some of the coverage criteria combinations presented in the mentioned paper are also shown here with mutation analysis.