Signature Inference for Functional Property Discovery
Please log in to watch this conference skillscast.
During this talk, you will explore the master thesis on Property discovery. Property has the potential to be the last piece of the puzzle in the Property discovery industry when it comes to testing. Property testing solved the problem with unit testing that you can never think of enough examples.
Property discovery is the next logical step: it could solve the problem of finding which properties to test. The talk will be presented without any assumption of prior knowledge of testing in Haskell, but familiarity with Haskell is assumed and familiarity with QuickCheck may increase the likelihood that you will appreciate the work presented.
YOU MAY ALSO LIKE:
Thank you to our sponsors and partners
Platinum
Gold
Silver
Signature Inference for Functional Property Discovery
Tom Sydney Kerckhove
Tom Sydney Kerckhove recently graduated from ETH Zurich. Originally from Belgium, he traveled between London and Zurich to gather professional experience. He has used Haskell as a hobbyist for years, and recently obtained professonal experience as well.