dblp.uni-trier.dewww.uni-trier.de

Christophe Gaston

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
7EEAlain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil: Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199
2007
6EEAlain Faivre, Christophe Gaston, Pascale Le Gall: Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106
2006
5EECéline Bigot, Alain Faivre, Christophe Gaston, Julien Simon: Automatic Test Generation on a (U)SIM Smart Card. CARDIS 2006: 345-358
4EEChristophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18
2005
3EEBenoit Baudry, Christophe Gaston, Sudipto Ghosh: Report on the 2nd Workshop on Model Development and Validation - MoDeVa. MoDELS Satellite Events 2005: 32-38
2004
2EEChristophe Gaston, Dirk Seifert: Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems 2004: 293-322
2002
1EEMarc Aiguier, Christophe Gaston, Pascale Le Gall: Feature Logics and Refinement. APSEC 2002: 385-

Coauthor Index

1Marc Aiguier [1]
2Benoit Baudry [3]
3Céline Bigot [5]
4Alain Faivre [5] [6] [7]
5Pascale Le Gall [1] [4] [6] [7]
6Sudipto Ghosh [3]
7Nicolas Rapin [4]
8Dirk Seifert [2]
9Julien Simon [5]
10Assia Touil [4] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)