The Test Club is an informal group, which meets every week or every other week to discuss work in the area of formal testing.
- Oct 26 2022: Verified Complete Test Generation Algorithms for Finite State Machines
- 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