Presentation: "The Joy of Testing"

Time: Wednesday 15:00 - 16:00

Location: Rutherford Room


Pure functional programs are a joy to test, with no hidden state,unexpected side-effects, or non-determinism--and with testing toolsthat start from specifications and almost find your bugs for you!I'll talk about some of those tools, and their applications to testingboth functional software and non-functional applications such asgateways and base stations.

Keywords: TDD, automated testing, Erlang, property-based testing

Target audience: Those interested test-driven development andautomated testing in general.

Download slides

John Hughes, Long-time functional programming enthusiast, co-designer of Haskell and QuickCheck, testing tools entrepreneur

 John  Hughes John Hughes has been a functional programming enthusiast for more than thirty years, at the Universities of Oxford, Glasgow, and since 1992 Chalmers University in Gothenburg, Sweden. He served on the Haskell design committee, co-chairing the committee for Haskell 98, and is the author of more than 75 papers, including "Why Functional Programming Matters", one of the classics of the area. With Koen Claessen, he created QuickCheck, the most popular testing tool among Haskell programmers, and in 2006 he founded Quviq to commercialise the technology using Erlang.