1

A Model-Driven Approach for Securing Software Architectures
Current IT systems consist usually of several components and services that communicate and exchange data over the Internet. They have …
Mario Arrigoni Neri, Marco Guarnieri, Eros Magri, Simone Mutti, Stefano Paraboschi
PDF Cite
On the Notion of Redundancy in Access Control Policies
The evolution of information systems sees an increasing need of flexible and sophisticated approaches for the automated detection of …
Marco Guarnieri, Mario Arrigoni Neri, Eros Magri, Simone Mutti
PDF Cite
AURORA: AUtomatic RObustness coveRage Analysis Tool
Code coverage is usually used as a measurement of testing quality and as adequacy criterion. Unfortunately, code coverage is very …
Angelo Gargantini, Marco Guarnieri, Eros Magri
PDF Cite Code
Conflict Detection in Security Policies using Semantic Web Technology
The design of efficient and effective techniques for security policy analysis is a crucial open problem in modern information systems. …
Mario Arrigoni Neri, Marco Guarnieri, Eros Magri, Simone Mutti, Stefano Paraboschi
PDF Cite
Towards Assisted Remediation of Security Vulnerabilities
Security vulnerabilities are still prevalent in systems despite the existence of their countermeasures for several decades. In order to …
Gabriel Serme, Anderson Santana De Oliveira, Marco Guarnieri, Paul el Khoury
PDF Cite
Automated Management and Analysis of Security Policies using Eclipse
The design of efficient and effective techniques for security policy analysis and management is a crucial open problem in modern …
Marco Guarnieri, Eros Magri, Simone Mutti
PDF Cite
Evolutionary Testing of PHP Web Applications with WETT
One of the current core requirements of web applications is the continuity of the service, because loss in availability can lead to …
Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri
PDF Cite
A Domain Specific Language for Modeling Differential Constraints of Mobile Robots
Kinematics and dynamics constraints of mobile robots can be modeled by means of differential equations. Simulation and sampling based …
Marco Guarnieri, Eros Magri, Davide Brugali, Luca Gherardi
PDF Cite Code
Extending Coverage Criteria by Evaluating their Robustness to Code Structure Changes
Code coverage is usually used as a measurement of testing quality and as adequacy criterion. Unfortunately, code coverage is very …
Angelo Gargantini, Marco Guarnieri, Eros Magri
PDF Cite
Model-Driven Testing for Web Applications using Abstract State Machines
The increasing diffusion and importance of Web Applications has led to strict requirements in terms of continuity of the service, …
Francesco Bolis, Angelo Gargantini, Marco Guarnieri, Eros Magri, Lorenzo Musto
PDF Cite