Christophe Gaston Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Christophe Gaston: Testing of Component-Based Systems. APSEC 2012: 300-305
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Jose Pablo Escobedo: Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case. HASE 2012: 9-16
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall: Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing. ICTSS 2012: 119-135
2011
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Boutheina Bannour, Christophe Gaston, David Servat: Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing. APSEC 2011: 219-226
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall: Timed Conformance Testing for Orchestrated Service Discovery. FACS 2011: 133-150
2010
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnault Lapitre: Symbolic Execution Techniques Extended to Systems. ICSEA 2009: 78-85
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil: Test Purpose Concretization through Symbolic Action Refinement. TestCom/FATES 2008: 184-199
2007
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Alain Faivre, Christophe Gaston, Pascale Le Gall: Symbolic Model Based Testing for Component Oriented Systems. TestCom/FATES 2007: 90-106
2006
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Céline Bigot, Alain Faivre, Christophe Gaston, Julien Simon: Automatic Test Generation on a (U)SIM Smart Card. CARDIS 2006: 345-358
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil: Symbolic Execution Techniques for Test Purpose Definition. TestCom 2006: 1-18
2005
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Benoit Baudry, Christophe Gaston, Sudipto Ghosh: Report on the 2nd Workshop on Model Development and Validation - MoDeVa. MoDELS Satellite Events 2005: 32-38
2004
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Christophe Gaston, Dirk Seifert: Evaluating Coverage Based Testing. Model-Based Testing of Reactive Systems 2004: 293-322
2002
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Marc Aiguier, Christophe Gaston, Pascale Le Gall: Feature Logics and Refinement. APSEC 2002: 385-

Coauthor Index

1Marc Aiguier
[c15] [c9] [c1]
2Diane Bahrami
[c9]
3Boutheina Bannour
[c14] [c13] [c12]
4Benoit Baudry
[c3]
5Céline Bigot
[c5]
6Frédéric Boulanger
[c15]
7Ana R. Cavalli
[c10] [c8]
8Jose Pablo Escobedo
[c14] [c13] [c11] [c10] [c8]
9Alain Faivre
[c7] [c6] [c5]
10Pascale Le Gall
[c13] [c11] [c10] [c8] [c7] [c6] [c4] [c1]
11Sudipto Ghosh
[c3]
12Bilal Kanso
[c15]
13Arnault Lapitre
[c14] [c9]
14Nicolas Rapin
[c4]
15Dirk Seifert
[c2]
16David Servat
[c12]
17Julien Simon
[c5]
18Assia Touil
[c7] [c4]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Wed May 22 08:18:33 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page