This presentation was performed at AST 2014 (tech.brookes.ac.uk/AST2014/) the 9th International Workshop on Automation of Software Test (AST’14) on June 1, 2014, in Hyderabad,…
1. Download it from:http://www.slideshare.net/henry.muccini/Ivano Malavolta, Henry Muccini, Smrithi RekhaGSSI (Italy), University of L’Aquila (Italy), Amrita University…
Marco Vieira [email protected] University of Coimbra – Portugal S E R E N E O ct . 2 01 4 SERENE 2014: Panel Views on Runtime Resilience Assessment of Dynamic Software…
GSSI (Italy), University of L’Aquila (Italy), Amrita University (India) SERENE 2014, Budapest, October 2014 Ivano Malavolta, Henry Muccini, Smrithi Rekha Download it from:…
Slide 1Checking consistency between architectural models using SPIN Requirements and Software Architectures Begin Paola Inverardi, Henry Muccini, Patrizio Pelliccione University…