Céline Bigot

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

Publications

Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon
Automatic Test Generation on a (U)SIM Smart Card. CARDIS (2006)
David Lugato, Céline Bigot, Yannick Valot, Jean-Pierre Gallois, Sébastien Gérard, François Terrier
Validation and automatic test generation on UML models: the AGATHA approach. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin
Automatic Test Generation with AGATHA. TACAS (2003)
David Lugato, Céline Bigot, Yannick Valot
Validation and automatic test generation on UML models: the AGATHA approach. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)