QuickCheckAndQuickSpec

QuickCheck

QuickCheck is a well-known random testing tool for property-based testing, and a central part of the FP7 project ProTest, in which John Hughes and Thomas Arts company Quviq AB is also a partner. John will give an overview of recent work on QuickCheck in the ProTest project at Chalmers and Quviq.

QuickSpec

QuickSpec is a specification-inference tool which derives (probably-true) equations by random testing. Nick will illustrate some of its capabilities in a brief demo.