633 | -- | 648 | Antonia Bertolino, Paola Inverardi, Henry Muccini. Software architecture-based analysis and testing: a look into achievements and future challenges |
649 | -- | 688 | De-Jiu Chen, Lei Feng, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl. An architectural approach to the analysis, verification and validation of software intensive embedded systems |
689 | -- | 722 | Javier Cámara, Rogério de Lemos, Marco Vieira, Raquel Almeida, Rafael Ventura. Architecture-based resilience evaluation for self-adaptive systems |