Travelled to:
1 × Denmark
1 × Estonia
1 × Italy
1 × Japan
1 × The Netherlands
1 × Turkey
1 × USA
Collaborated with:
P.L.Gall J.P.Escobedo A.Faivre A.R.Cavalli A.Touil R.M.Hierons B.Bannour N.Rapin P.Dubrulle N.Kosmatov A.Lapitre S.Louise
Talks about:
test (8) symbol (5) model (3) conform (2) system (2) servic (2) purpos (2) time (2) base (2) web (2)
Person: Christophe Gaston
DBLP: Gaston:Christophe
Contributed to:
Wrote 8 papers:
- ICTSS-2013-GastonHG #distributed #framework #implementation
- An Implementation Relation and Test Framework for Timed Distributed Systems (CG, RMH, PLG), pp. 82–97.
- ICTSS-2012-BannourEGG #consistency #generative #modelling #testing
- Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing (BB, JPE, CG, PLG), pp. 119–135.
- SEFM-2010-EscobedoGGC #approach #testing #web #web service
- Testing Web Service Orchestrators in Context: A Symbolic Approach (JPE, CG, PLG, ARC), pp. 257–267.
- TestCom-FATES-2009-EscobedoGGC #composition #consistency #testing #web #web service
- Observability and Controllability Issues in Conformance Testing of Web Service Compositions (JPE, CG, PLG, ARC), pp. 217–222.
- TestCom-FATES-2008-FaivreGGT #refinement
- Test Purpose Concretization through Symbolic Action Refinement (AF, CG, PLG, AT), pp. 184–199.
- TestCom-FATES-2007-FaivreGG #component #modelling #testing
- Symbolic Model Based Testing for Component Oriented Systems (AF, CG, PLG), pp. 90–106.
- TestCom-2006-GastonGRT #execution #symbolic computation
- Symbolic Execution Techniques for Test Purpose Definition (CG, PLG, NR, AT), pp. 1–18.
- FASE-2019-DubrulleGKLL #data flow
- A Data Flow Model with Frequency Arithmetic (PD, CG, NK, AL, SL), pp. 369–385.