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

Thomas Arts
Professor and co-founder of QuviQ
QuviQ AB

Dr. Thomas Arts is the co-founder and CTO of Quviq, a small company that produced Quick Check, as testing tool for Erlang. Thomas has over 30 publications in various industry 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 an associate professor at the IT University of Göteborg in the area of Software Engineering and Management. He holds a PhD in computer science and after his PhD has been employed at the Ericsson Computer Science Lab (Where they invented Erlang), 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.

Thomas Arts is Teaching the Following Courses

Target Audience: Software Developers
Prerequisites: Participants should be familiar with Erlang and use it frequently.
• 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 27th April 2009 at the Sheraton Palo Alto.
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.

Thomas Arts is Host to the Following Tracks

Erlang-based test automation has been used in commercial products - not least Erlang/OTP itself - for more than a decade, and research on Erlang and model checking has gone on for almost as long. This track covers test-driven development ranging from hands-on practical industrial experience to the latest news from the research front.