MoMuT is a family of automated, model-based test case generation tools that can work with
- UML State Charts (MoMuT::UML),
- Action Systems (MoMuT::UML),
- Timed Automata (MoMuT::TA), and
- Assume-Guarantee Contracts (MoMuT::REQS)
Besides standard techniques, the tools feature a fault-based test case generation strategy that allows them to deliver high quality test suites. MoMuT::UML has been successfully applied to different industrial use-cases from the embedded systems domain with models of over 25 000 lines of Action System code or networks of more than 2800 UML state machines.
MoMuT is a joint project of
