Summary
This document describes the settings and implementation details of the designed model-based testing framework.
More information & hyperlinks