Search the dblp DataBase

Publications of Author

1. Marc Aiguier, Christophe Gaston, Pascale Le Gall
   Feature Logics and Refinement. [Citation Graph (0, 0)][DBLP]
   APSEC, 2002, pp:385-0 [Conf]
   
2. Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon
   Automatic Test Generation on a (U)SIM Smart Card. [Citation Graph (0, 0)][DBLP]
   CARDIS, 2006, pp:345-358 [Conf]
   
3. Christophe Gaston, Dirk Seifert
   Evaluating Coverage Based Testing. [Citation Graph (0, 0)][DBLP]
   Model-Based Testing of Reactive Systems, 2004, pp:293-322 [Conf]
   
4. Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil
   Symbolic Execution Techniques for Test Purpose Definition. [Citation Graph (0, 0)][DBLP]
   TestCom, 2006, pp:1-18 [Conf]
   
5. Benoit Baudry, Christophe Gaston, Sudipto Ghosh
   Report on the 2^nd Workshop on Model Development and Validation - MoDeVa. [Citation Graph (0, 0)][DBLP]
   MoDELS Satellite Events, 2005, pp:32-38 [Conf]
   
6. Alain Faivre, Christophe Gaston, Pascale Le Gall
   Symbolic Model Based Testing for Component Oriented Systems. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:90-106 [Conf]
   
7. 
   Test Purpose Concretization through Symbolic Action Refinement. [Citation Graph (, )][DBLP]
   
   
8. 
   Observability and Controllability Issues in Conformance Testing of Web Service Compositions. [Citation Graph (, )][DBLP]
   
   
9. 
   Symbolic Execution Techniques Extended to Systems. [Citation Graph (, )][DBLP]