| 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 | |
| 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] |