Test Generation

• Automatically generate complex test inputs and sequences
• Test state machines and complex software models
• Maximize test coverage
• Minimize unneeded sequences repetition and test running times
• Reduce test cycle duration