We have just updated the ejabberd November workshop schedule. The new talk by Thomas Arts will cover Property-based testing of XMPP and how to generate your tests automatically.
Thomas was a researcher at Ericsson, and then a professor at Chalmers University, before co-founding Quviq. As a researcher in Ericsson’s Computer Science Laboratory he worked on software verification tools for Erlang. This provided a natural transition to working with advanced testing technology at Quviq, where Thomas is CTO. Thomas manages the research and development of QuickCheck, a tool for automatic test case generation from properties of a system.