Céline Bigot

According to our database, Céline Bigot authored at least 4 papers between 2002 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Automatic Test Generation on a (U)SIM Smart Card.

Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon

Proceedings of the Smart Card Research and Advanced Applications, 2006

2004

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

2003

Automatic Test Generation with AGATHA.

Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Validation and automatic test generation on UML models: the AGATHA approach.

David Lugato, Céline Bigot, Yannick Valot

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002