Thomas Arts, from Quviq AB, introduces property-based testing from his work on ejabberd XMPP server. The talk explains how Quickcheck testing approach can help find bugs in ejabberd and improved the range (and the creativity) of the test cases covered.