For regression testing, user is encouraged to run all the tests (i.e., ES-Test, ES-Fit and ES-Verify components) after each modification. Of course the system has to be freezed every time there is a change in the system under test. In order to run all the tests, press ``Run all specs'' on the ESpec GUI. This option invokes ES-Test, ES-Fit and ES-verify and collects their results under a single green/red bar.