Kathrin Kaschner Niels Lohmann Automatic Test Case Generation for Interacting Services. 66-78 2008 ICSOC Workshops http://dx.doi.org/10.1007/978-3-642-01247-1_7 conf/icsoc/2008w db/conf/icsoc/icsoc2008w.html#KaschnerL08