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. In Manuel Núñez, Paul Baker, Mercedes G. Merayo, editors, Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Volume 5826 of Lecture Notes in Computer Science, pages 179-194, Springer, 2009. [doi]
@inproceedings{WieczorekKRLBPS09,
title = {Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models},
author = {Sebastian Wieczorek and Vitaly Kozyura and Andreas Roth and Michael Leuschel and Jens Bendisposto and Daniel Plagge and Ina Schieferdecker},
year = {2009},
doi = {10.1007/978-3-642-05031-2_12},
url = {http://dx.doi.org/10.1007/978-3-642-05031-2_12},
tags = {model checking, meta-model, testing, Meta-Environment},
researchr = {https://researchr.org/publication/WieczorekKRLBPS09},
cites = {0},
citedby = {0},
pages = {179-194},
booktitle = {Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings},
editor = {Manuel Núñez and Paul Baker and Mercedes G. Merayo},
volume = {5826},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-05030-5},
}