1. Formal Methods in Testing Software Architectures Antonia Bertolino1 , Paola Inverardi2 , and Henry Muccini2 1 Istituto di Scienza e Tecnologie dell’Informazione “A.…
