|
Search the dblp DataBase
Christophe Gaston:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marc Aiguier, Christophe Gaston, Pascale Le Gall
Feature Logics and Refinement. [Citation Graph (0, 0)][DBLP] APSEC, 2002, pp:385-0 [Conf]
- 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]
- Christophe Gaston, Dirk Seifert
Evaluating Coverage Based Testing. [Citation Graph (0, 0)][DBLP] Model-Based Testing of Reactive Systems, 2004, pp:293-322 [Conf]
- 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]
- Benoit Baudry, Christophe Gaston, Sudipto Ghosh
Report on the 2nd Workshop on Model Development and Validation - MoDeVa. [Citation Graph (0, 0)][DBLP] MoDELS Satellite Events, 2005, pp:32-38 [Conf]
- 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]
Test Purpose Concretization through Symbolic Action Refinement. [Citation Graph (, )][DBLP]
Observability and Controllability Issues in Conformance Testing of Web Service Compositions. [Citation Graph (, )][DBLP]
Symbolic Execution Techniques Extended to Systems. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.004secs
|