Expert OverviewThings I'm DoingTalks I've Given
Dr. Thomas Arts is the co-founder and CTO of Quviq, a small company that produced Quick Check, as testing tool for Erlang.
Talks I've Given
Quick Check Tutorial: Using QuickCheck to Test Erlang Programs
Featuring John Hughes and Thomas Arts
In this tutorial, John Hughes and Thomas Arts will use examples to show how developers write QuickCheck specifications—which are actually Erlang programs using the QuickCheck API—and use them to test code written in Erlang or other programming languages. We will show how QuickCheck’s shrinking...erlang quickcheck