Reactis Tester generates comprehensive test suites from Simulink®/Stateflow® models. The test suites exercise large portions of the software under test while avoiding redundancy, thereby maximizing the probability of finding defects within the time available...