Model-Driven Testing for Web Applications Using Abstract State Machines. - Francesco Bolis; Angelo Gargantini; Marco Guarnieri; Eros Magri; Lorenzo Musto (ICWE Workshops, 2012)

Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. - Angelo Gargantini; Marco Guarnieri; Eros Magri (ICTSS, 2012)

Evolutionary Testing of PHP Web Applications with WETT. - Francesco Bolis; Angelo Gargantini; Marco Guarnieri; Eros Magri (SSBSE, 2012)

AURORA: AUtomatic RObustness coveRage Analysis Tool. - Angelo Gargantini; Marco Guarnieri; Eros Magri (ICST, 2013)

On the notion of redundancy in access control policies. - Marco Guarnieri; Mario Arrigoni Neri; Eros Magri; Simone Mutti (SACMAT, 2013)

A Model-driven Approach for Securing Software Architectures. - Mario Arrigoni Neri; Marco Guarnieri; Eros Magri; Simone Mutti; Stefano Paraboschi (SECRYPT, 2013)