Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.

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. 179-194 2009 TestCom/FATES http://dx.doi.org/10.1007/978-3-642-05031-2_12 conf/pts/2009 db/conf/pts/testcom2009.html#WieczorekKRLBPS09