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 × Brazil
1 × Canada
1 × Estonia
1 × France
1 × Japan
1 × The Netherlands
1 × Vietnam
Collaborated with:
G.v.Bochmann S.Haar C.Jard R.M.Hierons H.Ural H.Yenigün B.Wan S.Choudhary M.E.Dincturk I.Onut P.Ionescu
Talks about:
test (5) sequenc (4) distinguish (2) construct (2) automata (2) partial (2) output (2) applic (2) order (2) model (2)

Person: Guy-Vincent Jourdan

DBLP DBLP: Jourdan:Guy=Vincent

Contributed to:

ICST 20122012
ICTSS 20112011
SEFM 20092009
TestCom/FATES 20092009
SAC 20082008
TestCom/FATES 20082008
TestCom/FATES 20072007

Wrote 7 papers:

ICST-2012-ChoudharyDBJOI #challenge #internet #modelling #security #testing
Solving Some Modeling Challenges when Testing Rich Internet Applications for Security (SC, MED, GvB, GVJ, IVO, PI), pp. 850–857.
ICTSS-2011-BochmannJW #reliability #testing #web
Improved Usage Model for Web Application Reliability Testing (GvB, GVJ, BW), pp. 15–31.
SEFM-2009-HieronsJUY #adaptation #sequence #using
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences (RMH, GVJ, HU, HY), pp. 157–166.
TestCom-FATES-2009-BochmannJ #petri net #testing
Testing k-Safe Petri Nets (GvB, GVJ), pp. 33–48.
SAC-2008-HieronsJUY #adaptation #sequence #using
Using adaptive distinguishing sequences in checking sequence constructions (RMH, GVJ, HU, HY), pp. 682–687.
TestCom-FATES-2008-BochmannHJJ #automaton #partial order #testing
Testing Systems Specified as Partial Order Input/Output Automata (GvB, SH, CJ, GVJ), pp. 169–183.
TestCom-FATES-2007-HaarJJ #automaton #partial order #testing
Testing Input/Output Partial Order Automata (SH, CJ, GVJ), pp. 171–185.

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.