\section{Integrationstests}

\section{Integrationstests}

Es wurden sowohl manuelle Integrationstests im Zuge der GUI"=Tests als
auch ständige automatische Integrationstests mit einem Archiv aus
Testprogrammen durchgeführt, wobei letztere zum einen den kompletten
Verifikationsprozess der Beweiserschnittstelle und zum anderen die
Interpreter"=Ausführung und "=Laufzeituntersuchungen durchlaufen.

Add initial words to section Integrationstests
[bericht] Add initial words to section Integrationstests
