Write a Blog >>

Writing test cases is laborious, often a little neglected, and ultimately rather unsatisfying, since errors slip through even the most comprehensive test suites. Can we generate tests instead? In this talk I’ll show test case generation using QuickCheck, drawing on experience of applying it at scale at Quviq. I’ll try to explain why property-based testing can be so effective, and how to use it most effectively.

Mon 19 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:40 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers15:00 - 15:40
John HughesChalmers University of Technology