John Hughes
Inventor of QuickCheck and Erlanger of the year
QuviQ AB
John Hughes is co-founder and CEO of Quviq AB, and the originator of
Quviq QuickCheck. From 2002-2005 he led a major research project in
software verification, funded by the Swedish Strategic Research
Foundation. This led to the development of Quviq QuickCheck in Erlang.
Before John's involvement with Erlang, he was deeply involved with the
design of Haskell from the start, and co-chaired the committee that
defined the current language standard.
John's University Home Page
Publications
QuviQ
John's University Home Page
Publications
QuviQ
John Hughes is Giving the Following Talks
Free QuickCheck for all
On the face of it, property-based testing is a no-brainer: you write shorter, clearer test code, and in return test your system more thoroughly using thousands of generated tests. In practice, many developers are unsure where to start. How do you come up with good properties? How do you generate good test data? How do you evaluate the quality of your testing?
In this talk, I’ll show how to overcome these difficulties, and give rules of thumb that can help you get started with property-based testing. The talk is based on QuickCheck Mini, the free version of QuickCheck from Quviq, so you will be able to apply the lessons from the talk directly.
Target audience: Anyone interested in trying out property-based testing, to improve their test quality.
In this talk, I’ll show how to overcome these difficulties, and give rules of thumb that can help you get started with property-based testing. The talk is based on QuickCheck Mini, the free version of QuickCheck from Quviq, so you will be able to apply the lessons from the talk directly.
Target audience: Anyone interested in trying out property-based testing, to improve their test quality.
