BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × The Netherlands
1 × Turkey
1 × United Kingdom
Collaborated with:
S.Wieczorek A.Roth I.Schieferdecker D.Güttinger D.Kremer M.Leuschel J.Bendisposto D.Plagge A.Stefanescu A.Charfi F.M.Kraft
Talks about:
model (4) choreographi (2) test (2) architectur (1) viewpoint (1) generat (1) variat (1) servic (1) reduct (1) orient (1)

Person: Vitaly Kozyura

DBLP DBLP: Kozyura:Vitaly

Contributed to:

ICTSS 20132013
TestCom/FATES 20092009
WICSA/ECSA 20092009

Wrote 3 papers:

ICTSS-2013-GuttingerKKW #reduction #testing
Variations over Test Suite Reduction (DG, VK, DK, SW), pp. 149–163.
TestCom-FATES-2009-WieczorekKRLBPS #integration #model checking #modelling #testing
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models (SW, VK, AR, ML, JB, DP, IS), pp. 179–194.
WICSA-ECSA-2009-WieczorekRSKCKS #architecture #modelling
Viewpoints for modeling choreographies in service-oriented architectures (SW, AR, AS, VK, AC, FMK, IS), pp. 11–20.

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.