Software and hardware systems contain faults. One important technique to detect faults is testing. With the spread of model-based development, models became also important for testing. In model-based testing, test models are used to generate test suites (semi-)automatically.
- Free • Open Source
- Mac
- Windows
- Linux































