Thomas Arts
Professor and co-founder of QuviQ AB
QuviQ AB
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.
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.
Thomas Arts is Giving the Following Talks
QuickCheck for EUnit
We are all used to writing EUnit test cases, but are they good enough?
Are we missing some relevant unit tests in our test suite? With the
bluefringe algorithm one can compute a state machine that describes the
tests in the suite and additional tests that seems to hold as well. By
using QuickCheck as an underlaying motor, one can then generate EUnit
tests that improve your test suite. Together QuickCheck and bluefringe
form a useful pair for those that want to learn writing QuickCheck state
machines but need examples on their own code and EUnit test suites.