Elvior's TestCast Generator is model-based testing tool that helps to automatically generate TTCN-3 test scripts from an UML state machine model. TestCast Generator is an Eclipse plugin. It runs on every platform that runs Eclipse. TestCast Generator uses UPPAAL verification engine for test generation, which is available for Windows and Linux on x86 architectures.