Massimo Pascale Marcello Roselli Umberto Rugani Cesare Bartolini Antonia Bertolino Francesca Lonetti Eda Marchetti Andrea Polini Automated testing of healthcare document transformations in the PICASSO interoperability platform. 163-171 2009 ICSE Companion http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070974 conf/icse/2009c db/conf/icse/icse2009c.html#PascaleRRBBLMP09