Andrea Camesi, Jarle Hulaas [email protected] Software Engineering Laboratory Swiss Federal Institute of Technology in Lausanne (EPFL) Switzerland.