Vitaly Kozyura

	2009
2		Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker: Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. TestCom/FATES 2009: 179-194
1		Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker: Viewpoints for modeling choreographies in service-oriented architectures. WICSA/ECSA 2009: 11-20

Coauthor Index

1	Jens Bendisposto	[2]
2	Anis Charfi	[1]
3	Frank Michael Kraft	[1]
4	Michael Leuschel	[2]
5	Daniel Plagge	[2]
6	Andreas Roth	[1] [2]
7	Ina Schieferdecker	[1] [2]
8	Alin Stefanescu	[1]
9	Sebastian Wieczorek	[1] [2]