Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin. MBT4Chor: A Model-Based Testing Approach for Service Choreographies. In Richard F. Paige, Alan Hartman, Arend Rensink, editors, Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Volume 5562 of Lecture Notes in Computer Science, pages 313-324, Springer, 2009. [doi]
@inproceedings{StefanescuWK09,
title = {MBT4Chor: A Model-Based Testing Approach for Service Choreographies},
author = {Alin Stefanescu and Sebastian Wieczorek and Andrei Kirshin},
year = {2009},
doi = {10.1007/978-3-642-02674-4_23},
url = {http://dx.doi.org/10.1007/978-3-642-02674-4_23},
tags = {rule-based, testing, systematic-approach},
researchr = {https://researchr.org/publication/StefanescuWK09},
cites = {0},
citedby = {0},
pages = {313-324},
booktitle = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings},
editor = {Richard F. Paige and Alan Hartman and Arend Rensink},
volume = {5562},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-02673-7},
}