ESTA' is an Eclipse RCP that provides a GUI for Model-Based Statistical Testing. ESTA' is under active development. Notes and hints for developers are on the following pages: