MoBaTeG (Model-Based Test Generator) is developed based upon ParTeG. In Model-Based Testing (MBT), after building the model, it will be used for test generation. Usually, the modeling is done in a manual process by modeler or tester using a modeling tool. Afterward, the test cases will be generated automatically from a test model using a model-based test generation tool. In this project, the test generation problem is converted into a mathematical representation in the AMPL language. Then, with a forward and depth-first search algorithm and based upon All-Transitions or All-States coverage criteria, the abstract paths from state machine are selected. Second, using symbolic execution, the generated abstract path and its element constraints are converted into the data of the generated mathematical model. Third, the generated mathematical problem is solved with the state of the art and powerful solvers that have an interface with AMPL and the test data are produced for each abstract test case. Finally, the generated test data and abstract paths are transformed into executable test cases. MoBaTeG aims at generating test cases using a UML class diagram and state machine annotated with OCL constraints. We transform input UML model and it’s constraints to AMPL system. Then try to solve the mathematical system using state of the art and powerful constraint solvers.