Validation and automatic test generation on UML models: the AGATHA approach. - David Lugato; Céline Bigot; Yannick Valot (FMICS, 2002)

Automatic Test Generation with AGATHA. - Céline Bigot; Alain Faivre; Jean-Pierre Gallois; Arnault Lapitre; David Lugato; Jean-Yves Pierron; Nicolas Rapin (TACAS, 2003)

Validation and automatic test generation on UML models: the AGATHA approach. - David Lugato; Céline Bigot; Yannick Valot; Jean-Pierre Gallois; Sébastien Gérard; François Terrier (Int. J. Softw. Tools Technol. Transf., 2004)

Automatic Test Generation on a (U)SIM Smart Card. - Céline Bigot; Alain Faivre; Christophe Gaston; Julien Simon (CARDIS, 2006)