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.
Talks I've Given
-
Practical Property Testing
Featuring Tom Sydney Kerckhove
In this talk Tom Sydney Kerckhove discusses how to implement proper property testing in Haskell. It moves way beyond the classic toy examples and examined real-world scenarios, taking a deep-dive into how to make property tests interact with web services or database systems.
haskell testing -
Signature inference for functional property discovery
Featuring Tom Sydney Kerckhove
Property discovery is the process of discovering properties of code via
algorithm
automated testing. It has the potential to be a great tool for a practical
approach to software correctness. Unfortunately current methods remain
infeasible because of the immense search space. We contribute a new
approach to... -
Signature Inference for Functional Property Discovery
Featuring Tom Sydney Kerckhove
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....
haskellx haskell testing random-testing property-testing property-discovery unit-testing