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.
Cost / License
- Free
- Open Source
Platforms
- Mac
- Windows
- Linux





































