Quviq

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 dete... Read more