BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gaston:Christophe

Contributed to:

ICTSS 20132013
ICTSS 20122012
SEFM 20102010
TestCom/FATES 20092009
TestCom/FATES 20082008
TestCom/FATES 20072007
TestCom 20062006
FASE 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.