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: Kozyura:Vitaly
Contributed to:
2013
2009
2009Wrote 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.