ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague 1, Czech Republic
Thomas Arts

Not registered as user yet

Name: Thomas Arts

Bio: Thomas Arts co-founder and CTO of Quviq has an academic background with a PhD in “Term Rewriting”. Directly after his PhD, Thomas has worked at Ericsson’s computer Science Lab, where he worked on verification tools for Erlang. After a short return to academia as professor at Chalmers, he is now fully devoted to amazing testing tools. Quviq is the company that productified QuickCheck, a tool that automatically generates tests. The tool is written in Erlang, but can be used to test systems written in a variety of languages. Among other successes, it is heavily used within the telecom and automotive industry, for example for testing 5G base stations and AUTOSAR standard software.

Affiliation: Quviq

Personal website:

ECOOP 2015 Activities

ECOOP 2015-profile
View general profile