Ceci est le site du "test club"; un groupe informel de discussion sur les thèmes autour du test basés sur des méthodes formelles. Les porteur forment un sous-groupe ("axe") du groupe de recherche VALS au LRI.

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.