ELENCO PUBBLICAZIONI Prof. Pezzè

2021 - Reusing Solutions Modulo Theories: Aquino, A., Denaro, G., & Pezze, M. (2021). Reusing Solutions Modulo Theories. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 47(5), 948-968 [10.1109/TSE.2019.2898199].2021 - A Survey of Field-based Testing Techniques: Bertolino, A., Braione, P., Angelis, G., Gazzola, L., Kifetew, F., Mariani, L., et al. (2021). A Survey of Field-based Testing Techniques. ACM COMPUTING SURVEYS, 54(5 (June 2021)), 1-39 [10.1145/3447240].2020 - Predicting failures in multi-tier distributed systems: Mariani, L., Pezzè, M., Riganelli, O., & Xin, R. (2020). Predicting failures in multi-tier distributed systems. THE JOURNAL OF SYSTEMS AND SOFTWARE, 161 [10.1016/j.jss.2019.110464].2018 - Localizing Faults in Cloud Systems: Mariani, L., Monni, C., Pezze, M., Riganelli, O., & Xin, R. (2018). Localizing Faults in Cloud Systems. In Proceedings of the 11th International Conference on Software Testing, Verification and Validation (ICST) (pp.262-273). Institute of Electrical and Electronics Engineers Inc. [10.1109/ICST.2018.00034].2018 - SUSHI: A test generator for programs with complex structured inputs: Braione, P., Denaro, G., Mattavelli, A., & Pezzè, M. (2018). SUSHI: A test generator for programs with complex structured inputs. In Proceedings - International Conference on Software Engineering (pp.21-24). IEEE Computer Society [10.1145/3183440.3183472].2018 - Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles: Mariani, L., Pezze, M., & Zuddas, D. (2018). Augusto: Exploiting popular functionalities for the generation of semantic GUI tests with oracles. In Proceedings - International Conference on Software Engineering (pp.280-290). 345 E 47TH ST, NEW YORK, NY 10017 USA : IEEE Computer Society [10.1145/3180155.3180162].2017 - GK-Tail+ An Efficient Approach to Learn Software Models: Mariani, L., Pezze', M., & Santoro, M. (2017). GK-Tail+ An Efficient Approach to Learn Software Models. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 43(8), 715-738 [10.1109/TSE.2016.2623623].2017 - Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions: Aquino, A., Denaro, G., & Pezze', M. (2017). Heuristically matching solution spaces of arithmetic formulas to efficiently reuse solutions. In Proceedings - 2017 IEEE/ACM 39th International Conference on Software Engineering, ICSE 2017 (pp.427-437). Institute of Electrical and Electronics Engineers Inc. [10.1109/ICSE.2017.46].2017 - Combining symbolic execution and search-based testing for programs with complex heap inputs: Braione, P., Denaro, G., Mattavelli, A., & Pezze', M. (2017). Combining symbolic execution and search-based testing for programs with complex heap inputs. In Proceedings of 26th International Symposium on Software Testing and Analysis (pp.90-101). Association for Computing Machinery, Inc [10.1145/3092703.3092715].

 


 

ELENCO PUBBLICAZIONI CONDIVISE

2022 - Internet- and Mobile-based interventions aimed at suicide risks: a review of the literature: Pirola, A., Preti, E., Madeddu, F., Micucci, D., & Calati, R. (2022). Internet- and Mobile-based interventions aimed at suicide risks: a review of the literature. RECENTI PROGRESSI IN MEDICINA, 113(4), 256-262 [10.1701/3792.37766].2022 - ExVivoMicroTest: ExVivo Testing of Microservices: Gazzola, L., Goldstein, M., Mariani, L., Mobilio, M., Segall, I., Tundo, A., et al. (2022). ExVivoMicroTest: ExVivo Testing of Microservices. JOURNAL OF SOFTWARE [10.1002/smr.2452].2022 - A comprehensive study of code-removal patches in automated program repair: Ginelli, D., Martinez, M., Mariani, L., & Monperrus, M. (2022). A comprehensive study of code-removal patches in automated program repair. EMPIRICAL SOFTWARE ENGINEERING, 27(4) [10.1007/s10664-021-10100-7].2021 - Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment: Riganelli, O., Saltarel, P., Tundo, A., Mobilio, M., & Mariani, L. (2021). Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment. In Proceedings - 20th IEEE International Conference on Machine Learning and Applications, ICMLA 2021 (pp.785-790). Institute of Electrical and Electronics Engineers Inc. [10.1109/ICMLA52953.2021.00130].2021 - Message from the Program Co-Chairs ISSRE 2021: Mariani, L., & Liu, T. (2021). Message from the Program Co-Chairs ISSRE 2021. In Z. Jin, X. Li, J. Xiang, L. Mariani, T. Liu, X. Yu, et al. (a cura di), 2021 IEEE 32nd International Symposium on Software Reliability Engineering ISSRE 2021, Wuhan, China, 25-28 October 2021 (pp. XV-XV). Los Alamitos, CA : IEEE Computer Society [10.1109/ISSRE52982.2021.00007].2021 - Exception-Driven Fault Localization for Automated Program Repair: Ginelli, D., Riganelli, O., Micucci, D., & Mariani, L. (2021). Exception-Driven Fault Localization for Automated Program Repair. In 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) (pp.598-607) [10.1109/QRS54544.2021.00070].2020 - Personalization in Human Activity Recognition: Ferrari, A., Micucci, D., Mobilio, M., & Napoletano, P. (2020). Personalization in Human Activity Recognition. In 6th Italian Conference on ICT for Smart Cities & Communities (I-CiTies 2020).2021 - Homogenization of Existing Inertial-Based Datasets to Support Human Activity Recognition: Amrani, H., Micucci, D., Mobilio, M., & Napoletano, P. (2021). Homogenization of Existing Inertial-Based Datasets to Support Human Activity Recognition. In NeurIPS Data-Centric AI Workshop (DCAI 2021).2022 - An Internet-Based Multi-Approach Intervention Targeting University Students Suffering from Psychological Problems: Design, Implementation, and Evaluation: De Fabritiis, M., Trisolini, F., Bertuletti, G., Fagadau, I., Ginelli, D., Lalopa, K., et al. (2022). An Internet-Based Multi-Approach Intervention Targeting University Students Suffering from Psychological Problems: Design, Implementation, and Evaluation. INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, 19(5) [10.3390/ijerph19052711].2022 - Deep learning and model personalization in sensor-based human activity recognition: Ferrari, A., Micucci, D., Mobilio, M., & Napoletano, P. (2022). Deep learning and model personalization in sensor-based human activity recognition. JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS [10.1007/s40860-021-00167-w].2021 - Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control: Calani, M., Denaro, G., & Leporati, A. (2021). Exploiting the blockchain to guarantee GDPR compliance while consents evolve under data owners' control. In Proceedings of the Italian Conference on Cybersecurity (ITASEC 2021) (pp.331-343). CEUR-WS.2021 - Trends in human activity recognition using smartphones: Ferrari, A., Micucci, D., Mobilio, M., & Napoletano, P. (2021). Trends in human activity recognition using smartphones. JOURNAL OF RELIABLE INTELLIGENT ENVIRONMENTS, 7(3), 189-213 [10.1007/s40860-021-00147-0].2021 - Towards Evidence-Based Testability Measurements: Guglielmo, L., Riboni, A., & Denaro, G. (2021). Towards Evidence-Based Testability Measurements. In 2021 IEEE/ACM 43rd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) (pp.76-80) [10.1109/ICSE-NIER52604.2021.00024].2021 - A Survey of Field-based Testing Techniques: Bertolino, A., Braione, P., Angelis, G., Gazzola, L., Kifetew, F., Mariani, L., et al. (2021). A Survey of Field-based Testing Techniques. ACM COMPUTING SURVEYS, 54(5 (June 2021)), 1-39 [10.1145/3447240].2021 - Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020: Cardoso, R., Ferrando, A., Briola, D., Menghi, C., & Ahlbrecht, T. (2021). Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10(2), 33-56 [10.3390/jsan10020033].2021 - On introducing automatic test case generation in practice: A success story and lessons learned: Brunetto, M., Denaro, G., Mariani, L., & Pezze, M. (2021). On introducing automatic test case generation in practice: A success story and lessons learned. THE JOURNAL OF SYSTEMS AND SOFTWARE, 176(June 2021) [10.1016/j.jss.2021.110933].2021 - Introduzione all'ingegneria del software moderna: Daniela Micucci (2021). Introduzione all'ingegneria del software moderna (D. Micucci, a cura di). Pearson.2021 - Personalized Models in Human Activity Recognition Using Deep Learning: Amrani, H., Micucci, D., & Napoletano, P. (2021). Personalized Models in Human Activity Recognition Using Deep Learning. In Proceedings of the International Conference on Pattern Recognition (ICPR) (pp.9682-9688). IEEE [10.1109/ICPR48806.2021.9412140].2020 - Personalized Deep Learning in Human Activity Recognition from Inertial Signals: a Preliminary Study on its Effectiveness: Ferrari, A., Micucci, D., Mobilio, M., & Napoletano, P. (2020). Personalized Deep Learning in Human Activity Recognition from Inertial Signals: a Preliminary Study on its Effectiveness. In Proceedings of the Italian Workshop on Artificial Intelligence for an Ageing Society 2020 co-located with 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020) (pp.25-30). CEUR.2020 - Message from the GAUSS 2020 Workshop Chairs: Braione, P., Briola, D., De Angelis, G., Gallo, F., Poggi, F., & Quattrocchi, G. (2020). Message from the GAUSS 2020 Workshop Chairs. In Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 (pp.30-31). Institute of Electrical and Electronics Engineers Inc..2020 - Message from the Chairs of MOBILESoft 2020: Lo, D., Mariani, L., & Mesbah, A. (2020). Message from the Chairs of MOBILESoft 2020. In Proceedings - 2020 IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, MOBILESoft 2020 (pp.VIII). Association for Computing Machinery, Inc.2020 - Declarative Dashboard Generation: Tundo, A., Castelnovo, C., Mobilio, M., Riganelli, O., & Mariani, L. (2020). Declarative Dashboard Generation. In Proceedings - 2020 IEEE 31st International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 (pp.215-218). Institute of Electrical and Electronics Engineers Inc. [10.1109/ISSREW51248.2020.00075].2020 - Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data: Clerissi, D., Denaro, G., Mobilio, M., & Mariani, L. (2020). Plug the Database & Play with Automatic Testing: Improving System Testing by Exploiting Persistent Data. In Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 (pp.66-77). Institute of Electrical and Electronics Engineers Inc. [10.1145/3324884.3416561].2020 - FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades: Mobilio, M., Riganelli, O., Micucci, D., & Mariani, L. (2020). FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. In Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 (pp.1292-1296). Institute of Electrical and Electronics Engineers Inc. [10.1145/3324884.3415290].2021 - CPSDebug: Automatic failure explanation in CPS models: Bartocci, A., Manjunath, N., Mariani, L., Mateis, C., & Ničković, D. (2021). CPSDebug: Automatic failure explanation in CPS models. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 23(5), 783-796 [10.1007/s10009-020-00599-4].2020 - Test4Enforcers: Test Case Generation for Software Enforcers: Guzman, M., Riganelli, O., Micucci, D., & Mariani, L. (2020). Test4Enforcers: Test Case Generation for Software Enforcers. In 20th International Conference on Runtime Verification, RV 2020 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp.279-297). Springer Verlag [10.1007/978-3-030-60508-7_15].2020 - A Framework for In-Vivo Testing of Mobile Applications: Ceccato, M., Corradini, D., Gazzola, L., Kifetew, F., Mariani, L., Orru, M., et al. (2020). A Framework for In-Vivo Testing of Mobile Applications. In Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020 (pp.286-296). Institute of Electrical and Electronics Engineers Inc..2020 - CPSDebug: A tool for explanation of failures in cyber-physical systems: Bartocci, E., Manjunath, N., Mariani, L., Mateis, C., Nickovic, D., & Pastore, F. (2020). CPSDebug: A tool for explanation of failures in cyber-physical systems. In ISSTA 2020 - Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp.569-572). Association for Computing Machinery, Inc.2020 - Automatic ex-vivo regression testing of microservices: Gazzola, L., Goldstein, M., Mariani, L., Segall, I., & Ussi, L. (2020). Automatic ex-vivo regression testing of microservices. In Proceedings - 2020 IEEE/ACM 1st International Conference on Automation of Software Test, AST 2020 (pp.11-20). ;2 Penn Plaza, Suite 701 : Association for Computing Machinery [10.1145/3387903.3389309].2020 - Preface to the special section on improving software quality through formal methods: Falcone, Y., & Mariani, L. (2020). Preface to the special section on improving software quality through formal methods. SOFTWARE QUALITY JOURNAL, 28(2), 693-694.

 

 

Leave a Reply