Quviq provides QuickCheck, a tool for testing software. QuickCheck takes a model as input and automatically generates test cases from it. These test cases are automatically executed against the system under test. Whenever a fault is detected, QuickCheck will try similar, smaller test cases that detect this fault. QuickCheck offers higher software quality with less work; it shortens fault analysis time and reduces cost of maintaining test cases.