SkillsCast

Signature Inference for Functional Property Discovery

12th October 2017 in London at CodeNode

There are 36 other SkillsCasts available from Haskell eXchange 2017

Please log in to watch this conference skillscast.

660468719 640

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:

Thanks to our sponsors

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.

SkillsCast

Please log in to watch this conference skillscast.

660468719 640

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:

Thanks to our sponsors

About the Speaker

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.

Photos