 | 2011 |
|---|
| 11 |       | Boutheina Bannour,
Christophe Gaston,
David Servat:
Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing.
APSEC 2011: 219-226 |
| 2010 |
|---|
| 10 | | Jose Pablo Escobedo,
Christophe Gaston,
Pascale Le Gall,
Ana R. Cavalli:
Testing Web Service Orchestrators in Context: A Symbolic Approach.
SEFM 2010: 257-267 |
| 2009 |
|---|
| 9 | | Christophe Gaston,
Marc Aiguier,
Diane Bahrami,
Arnault Lapitre:
Symbolic Execution Techniques Extended to Systems.
ICSEA 2009: 78-85 |
| 8 | | Jose Pablo Escobedo,
Christophe Gaston,
Pascale Le Gall,
Ana R. Cavalli:
Observability and Controllability Issues in Conformance Testing of Web Service Compositions.
TestCom/FATES 2009: 217-222 |
| 2008 |
|---|
| 7 | | Alain Faivre,
Christophe Gaston,
Pascale Le Gall,
Assia Touil:
Test Purpose Concretization through Symbolic Action Refinement.
TestCom/FATES 2008: 184-199 |
| 2007 |
|---|
| 6 | | Alain Faivre,
Christophe Gaston,
Pascale Le Gall:
Symbolic Model Based Testing for Component Oriented Systems.
TestCom/FATES 2007: 90-106 |
| 2006 |
|---|
| 5 | | Céline Bigot,
Alain Faivre,
Christophe Gaston,
Julien Simon:
Automatic Test Generation on a (U)SIM Smart Card.
CARDIS 2006: 345-358 |
| 4 | | Christophe Gaston,
Pascale Le Gall,
Nicolas Rapin,
Assia Touil:
Symbolic Execution Techniques for Test Purpose Definition.
TestCom 2006: 1-18 |
| 2005 |
|---|
| 3 | | Benoit Baudry,
Christophe Gaston,
Sudipto Ghosh:
Report on the 2nd Workshop on Model Development and Validation - MoDeVa.
MoDELS Satellite Events 2005: 32-38 |
| 2004 |
|---|
| 2 | | Christophe Gaston,
Dirk Seifert:
Evaluating Coverage Based Testing.
Model-Based Testing of Reactive Systems 2004: 293-322 |
| 2002 |
|---|
| 1 | | Marc Aiguier,
Christophe Gaston,
Pascale Le Gall:
Feature Logics and Refinement.
APSEC 2002: 385- |
Data released under the ODC-BY 1.0 license — See also our legal information page