This package contains the graphical user interface of the test generation backend.