QuviQ

 

 

Quviq AB develops and markets QuickCheck, a tool which generates test cases randomly from formal properties of the software under test. When a failing case is found, QuickCheck simplifies it systematically to a minimal failing example that often makes the cause of the problem self-evident. As well as the tool itself, Quviq offers training and support services to help customers get the maximum value from this new approach to testing. Quviq was founded in May 2006 by John Hughes and Thomas Arts, of Chalmers University and the University of Gothenburg in Sweden, and now serves customers on three continents.

Contact: Thomas Arts