1. TestCast Generator is Eclipse plugin. It requires Eclipse Classic version 3.2 or newer. Install Eclipse Canymede or newer if you do not have it yet.
   
2. Download TestCast Generator zip file.
   
3. Unzip it into C:\Programs Files\Elvior\Motes folder (or you can choose also some other folder of your own)
4. Copy ee.elvior.TestGenerator.jar file from ...\Motes\plugin folder to Eclipse plugin folder.
5. TestCast Generator uses Uppaal CORA verification engine for test generation
   
6. Download Uppaal CORA. NOTE: Uppaal has a proprietary license
7. Unzip it to C:\Programs Files\Elvior\Motes folder
8. Download SWI-Prolog version 5.7.4 for Windows NT/2000/XP/Vista and install it
9. Start Eclipse and open Elvior Test Generation perspective (Window -> Open perspective -> Other... -> MOTES Elvior Test Generator).
10. Introduce external programs to TestCast Generator via Window -> Preferences -> Elvior Test Generator. Set the file location path for:

• Uppaal CORA veryfita.exe executable (C:\Programs Files\Elvior\Motes)
• Prolog executable
• RPTSynthesizer.qlf (C:\Programs Files\Elvior\Motes\RPT Synthesizer)

What to do next?

1. When Eclipse starts select an existing workspace or create a new one
   
2.  To create a new project go to File - New - Project
   
3.  To see an example project go to File - New - Example
   
4.  To see documentation go to Help - Help Contents
5. Browse MOTES step-by-step tutorial