QuickCheck: a lightweight tool for random testing Haskell programs

Tired of writing unit tests by hand? Ever wondered if you could let the computer do that for you? Then this edition of Papers We Love is something that should get you excited! Wouter Swierstra will discuss QuickCheck, a library that helps you generate tests for your programs.

Find the paper here (https://goo.gl/R8ABFG).

Title

QuickCheck: a lightweight tool for random testing Haskell programs

Abstract

QuickCheck is a tool which aids the Haskell programmer in formulating and testing properties of programs. It has been hugely successful and the underlying ideas have been ported to many different languages. In this talk, I want to present the original QuickCheck paper and say a bit about the field of research that it has sparked.

Speaker: Wouter Swierstra

Wouter Swierstra is a lecturer in the Software Technology group of the University of Utrecht. His PhD was on making programming languages with dependent types more practical. Since then he has worked with a variety of functional languages in both academia and industry. Most recently, he co-authored the book 'Functional Programming in Swift'.

Sponsor

This edition of Papers We Love Utrecht is made possible by the lovely folks at The Hyve (http://thehyve.nl/). We want to thank them for providing us with the space, food and drinks we need to make this edition a reality.

Schedule

19:00 - Welcome with food and drinks 19:30 - Talk + Discussion 20:15 - Announcements 21:00 - Fin