The Test Club is an informal group, which meets every week or every other week to discuss work in the area of formal testing.

• Jan 15 2020: Random Path-Selection based-on Dynamically Changing Path-Sets
• March 22 2019: Integrating C11-Code Support into Isabelle PIDE
• Dec 6 2018: Improvements of Invariant Generation for RandomTesting
• June 5 2018: A History of Test Theories
• March 29 2018: Random Testing with Auguste++
• March 3rd 2018: Invariant Generation for RandomTesting in Kind and Kind2
• December 18 2017: Testing in the Time-Tagged Event Specification Language (TESL)
• TrucEssai