|
Search the dblp DataBase
Jean-Pierre Gallois:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut
Automated Functional Test Case Synthesis from THALES industrial Requirements. [Citation Graph (0, 0)][DBLP] IEEE Real-Time and Embedded Technology and Applications Symposium, 2004, pp:104-111 [Conf]
- Céline Bigot, Alain Faivre, Jean-Pierre Gallois, Arnault Lapitre, David Lugato, Jean-Yves Pierron, Nicolas Rapin
Automatic Test Generation with AGATHA. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:591-596 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:5, n:2-3, pp:124-139 [Journal]
Slicing Communicating Automata Specifications for Efficient Model Reduction. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|