| :: Project Overview |
| :: General Goals |
| :: Expected Results |
| :: Description of Work |
| :: Results |
| > Publications |
| > Tools |
| > Asset Box |
| :: Partners |
| :: Events |
| :: Internal Documents |
| :: Feedback |
D-MINT wins the best exhibition award at the ITEA2 Symposium 2009
 Upcoming events: |
Model-Based Testing with UTP and TTCN-3
MOTES is a test generator that generates TTCN-3 test cases from the IUT EFSM model. MOTES is used to generate functional test for the black-box testing of the IUT. |
