Model 》 Test 》 Relax is an open source FSM (Finite State Machine) Model-Based Testing (MBT) framework.