Subscribe to our Erlang Factory newsletter to receive the latest updates and news

QuickCheck for Erlang developers

an image Target Audience: Software Developers
Prerequisites: Participants should be familiar with Erlang and use it frequently.
Objectives:
• Use the important features of QuickCheck
• Build-up to a realistic example of building a banking server
Goal: Understand QuickCheck and be able to use it with Erlang.
Duration: Three days.
Registration: 08:30 on 7th June 2010.
Venue: London Fruit & Wool Exchange
Description:This course is intensive, modular and hands-on, with each module made-up of lectures and practical exercises. Since QuickCheck builds on Erlang, we take advantage of participants' prior knowledge to introduce QuickCheck more quickly.

Course Contents:

This Quick Check course spans two-and-a-half days, during which participants will use all the important features of QuickCheck, building up to a realistic example of testing a banking server. This course is intensive, modular and hands-on, with each module made up of lectures and practical exercises. Since QuickCheck builds on Erlang, we take advantage of participants' prior knowledge to introduce QuickCheck more quickly.
Needless to say, participants should be familiar with Erlang, and use it frequently.




Teacher(s):

Thomas Arts

image Prof Thomas Arts is the co-founder and CTO of Quviq, a small company that produced QuickCheck, as testing tool for Erlang. Thomas has over 30 publications in various journals and has experience refereeing conferences and workshops. He has successfully introduced some new technologies to the industry, the latest being QuickCheck, a tool for property based testing and aims to support test driven development. Thomas is also a professor at Chalmers University of Technology in Gothenburg, Sweden.

Thomas was one of the members of Ericsson's computer science lab where he worked on program verification and the development of the Erlang programming language. He has also worked in the broad spectrum theoretical computer science, formal methods and industrial case-study research, mainly applying all kind of techniques to systems written in Erlang. 

John Hughes

image John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck. From 2002-2005 he led a major research project in software verification, funded by the Swedish Strategic Research Foundation. This led to the development of Quviq QuickCheck in Erlang. Before John's involvement with Erlang, he was deeply involved with the design of Haskell from the start, and co-chaired the committee that defined the current language standard. At the Erlang eXchange, John will talk about Quick Check for Erlang.