| Klapersuite: An integrated model-driven environment for reliability and performance analysis of component-based systems A Ciancone, A Filieri, ML Drago, R Mirandola, V Grassi International Conference on Modelling Techniques and Tools for Computer …, 2011 | 40 | 2011 |
| MANTra: Towards model transformation testing A Ciancone, A Filieri, R Mirandola 2010 Seventh International Conference on the Quality of Information and …, 2010 | 22 | 2010 |
| The KlaperSuite framework for model-driven reliability analysis of component-based systems A Ciancone, ML Drago, A Filieri, V Grassi, H Koziolek, R Mirandola Software & Systems Modeling 13 (4), 1269-1290, 2014 | 15 | 2014 |
| Non-functional analysis of service choreographies C Bartolini, A Bertolino, G De Angelis, A Ciancone, R Mirandola 2012 4th International Workshop on Principles of Engineering Service …, 2012 | 14 | 2012 |
| Some challenges for software testing research (invited talk paper) N Alshahwan, A Ciancone, M Harman, Y Jia, K Mao, A Marginean, A Mols, ... Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 12 | 2019 |
| Apprehensive QoS monitoring of service choreographies C Bartolini, A Bertolino, G De Angelis, A Ciancone, R Mirandola Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1893-1899, 2013 | 11 | 2013 |
| Quality requirements for service choreographies C Bartolini, A Bertolino, A Ciancone, G De Angelis, R Mirandola International Conference on Web Information Systems and Technologies 2, 143-148, 2012 | 7 | 2012 |
| Testing operational transformations in model-driven engineering A Ciancone, A Filieri, R Mirandola Innovations in Systems and Software Engineering 10, 19-32, 2014 | 5 | 2014 |
| Mapping the service architecture meta-model to the palladio component model A Ciancone Politecnico di Milano, 2009 | 4 | 2009 |
| Automated end-to-end dynamic taint analysis for WhatsApp S Cela, A Ciancone, P Gustafsson, Á Hajdu, Y Jia, T Kapus, M Koshtenko, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | 1 | 2024 |
| Enhancing Testing at Meta with Rich-State Simulated Populations N Alshahwan, A Blasi, K Bojarczuk, A Ciancone, N Gucevska, M Harman, ... Proceedings of the 46th International Conference on Software Engineering …, 2024 | 1 | 2024 |
| ICSE-SEIP 2024 N Alshahwan, A Blasi, K Bojarczuk, A Ciancone, N Gucevska, M Harman, ... | | |
| Project Deliverable D4. 2 Prediction Validation V Babka, L Bulej, A Ciancone, A Filieri, M Hauck, P Libic, L Marek, ... | | |
| Project Deliverable D5. 4 Performance-and Reliability-driven Guidelines for Design-space Exploration (final version) A Ciancone, R Mirandola, C Seceleanu | | |
