| Model-driven testing for web applications using abstract state machines F Bolis, A Gargantini, M Guarnieri, E Magri, L Musto International Conference on Web Engineering, 71-78, 2012 | 19 | 2012 |
| On the notion of redundancy in access control policies M Guarnieri, M Arrigoni Neri, E Magri, S Mutti Proceedings of the 18th ACM symposium on Access control models and …, 2013 | 16 | 2013 |
| Conflict detection in security policies using semantic web technology MA Neri, M Guarnieri, E Magri, S Mutti, S Paraboschi 2012 IEEE First AESS European Conference on Satellite Telecommunications …, 2012 | 16 | 2012 |
| A model-driven approach for securing software architectures MA Neri, M Guarnieri, E Magri, S Mutti, S Paraboschi 2013 International Conference on Security and Cryptography (SECRYPT), 1-8, 2013 | 7* | 2013 |
| Extending coverage criteria by evaluating their robustness to code structure changes A Gargantini, M Guarnieri, E Magri IFIP International Conference on Testing Software and Systems, 168-183, 2012 | 5 | 2012 |
| Evolutionary testing of PHP web applications with WETT F Bolis, A Gargantini, M Guarnieri, E Magri International Symposium on Search Based Software Engineering, 285-291, 2012 | 5 | 2012 |
| AURORA: automatic robustness coverage analysis tool A Gargantini, M Guarnieri, E Magri 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 4 | 2013 |
| Automated management and analysis of security policies using eclipse M Guarnieri, E Magri, S Mutti Proc. of the Eclipse-IT, 2012 | 3 | 2012 |
| A Domain Specific Language for Modeling Differential Constraints of Mobile Robots M Guarnieri, E Magri, D Brugali, L Gherardi | 2* | |
| An Eclipse-based environment for conformance testing by FSMs A Gargantini, M Guarnieri, E Magri | 1* | |
| Automated Management and Analysis of Security Policies using Eclipse SG Paraboschi, M ARRIGONI NERI, S Mutti, E Magri, M Guarnieri Proceedings of Eclipse-IT 2012: The VII Workshop of the Italian Eclipse …, 2012 | | 2012 |
