QuviQ advises continuous integration for software development projects. QuviQ has now developed QuickCheck-CI, a continuous integration system getting the best out of QuickCheck. QuickCheck-CI runs newly generated tests each time you check in software, but also builds a regression suite by saving tests that fail and repeating them in future test runs.

QuickCheck-CI is free for open source projects, providing the full version of QuviQ’s QuickCheck to every open source developer. Whether it is testing C code or Erlang, QuickCheck-CI helps you generate new tests at every build.

quickcheck-ci

QuviQ offers model development for projects tested on QuickCheck-CI as a paid service.