 | 2009 |
| 5 |  | Alin Stefanescu,
Sebastian Wieczorek,
Andrei Kirshin:
MBT4Chor: A Model-Based Testing Approach for Service Choreographies.
ECMDA-FA 2009: 313-324 |
| 4 |  | 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 |
| 3 |  | 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 |
| 2008 |
| 2 |  | Sebastian Wieczorek,
Alin Stefanescu,
Ina Schieferdecker:
Test Data Provision for ERP Systems.
ICST 2008: 396-403 |
| 1 |  | Sebastian Wieczorek,
Andreas Roth,
Alin Stefanescu,
Anis Charfi:
Precise Steps for Choreography Modeling for SOA Validation and Verification.
SOSE 2008: 148-153 |