Ceci est le site du "test club", qui anime des discussions sur les thèmes autour du test basé sur des méthodes formelles. Ce thème fait partie du groupe de recherche « Modèles » au LMF.

Le test club se réunit une fois par mois (plus ou ou moins) pendant l'année académique. Le scope des thèmes couvre (mais n'est pas limité à) :

• model-based testing
• program-based testing
• random-based testing
• model-checking, counter-example generation.