Recent Changes - Search:


The Chalmers FP wiki is part of the CSE dept. wiki.

Recent Changes

edit SideBar

FP /



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 is a specification-inference tool which derives (probably-true) equations by random testing. Nick will illustrate some of its capabilities in a brief demo.

Edit - History - Print - Recent Changes - Search
Page last modified on September 15, 2010, at 09:56 AM