Events

Tired of writing and maintaining thousands of automated tests? And did you know that repeating tests finds only 15% of your bugs anyway? Let QuickCheck generate new tests for you daily, saving you effort and nailing your bugs earlier! Three steps to QuickCheck • Write a QuickCheck specification instead of test cases—general properties your system should always satisfy. • QuickCheck uses controlled random generation to test your code against the spec. • Failing cases are automatically simplified before they are presented to you. QuickCheck takes you quickly from specification to identified bug. Prof. John Hughes and Dr Thomas Arts, owners of Quviq AB (http://www.quviq.com/) will visit Erlang Training and Consulting to show how this is done. The presentation will start at 18.00 in our conference room ant is expected to take 1.5 hours. Welcome!