Ansatz zum modellbasierten Testen, bei dem Testfälle gleichzeitig generiert und ausgeführt werden.