This project aim at generating test cases using 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 mathematical system using state of the art and powerful constraint solvers.
Follow MoBaTeG
Other Useful Business Software
Go From AI Idea to AI App Fast
Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MoBaTeG!