Antonia Bertolino Guglielmo De Angelis Lars Frantzen Andrea Polini The PLASTIC Framework and Tools for Testing Service-Oriented Applications. 106-139 2008 ISSSE http://dx.doi.org/10.1007/978-3-540-95888-8_5 conf/issse/2008 db/conf/issse/issse2008.html#BertolinoAFP08