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
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of MoBaTeG!