Support the verification of a real-time system using an annotated (parameterised) specification, together with a set of configuration (Excel) tables with possible parameters and requirements.

Test mutation has the goal of covering the system behavior as completely as possible with as few test sequences as necessary. New tests are generated based on the test model (input) by applying test mutations.