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

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)