Rui Filipe Lima Maranhão de Abreu
AuthID: R-000-KWV
11
TÃTULO: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTORES: João Pascoal Faria ; Rui Abreu;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS
AUTORES: João Pascoal Faria ; Rui Abreu;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS
12
TÃTULO: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTORES: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui; Roy, Subhajit;
PUBLICAÇÃO: 2023, FONTE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August
AUTORES: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui; Roy, Subhajit;
PUBLICAÇÃO: 2023, FONTE: 32nd International Joint Conference on Artificial Intelligence (IJCAI) in PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, VOLUME: 2023-August
13
TÃTULO: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTORES: Ribeiro, Francisco; Castro de Macedo, Jose Nuno; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
AUTORES: Ribeiro, Francisco; Castro de Macedo, Jose Nuno; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLICAÇÃO: 2023, FONTE: 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE) as part of SPLASH Conference in PROCEEDINGS OF THE 16TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2023
14
TÃTULO: Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
AUTORES: Will Shackleton; Katriel Cohn Gordon; Peter C Rigby; Rui Abreu; James Gill; Nachiappan Nagappan; Karim Nakad; Ioannis Papagiannis; Luke Petre; Giorgi Megreli; Patrick Riggs; James Saindon;
PUBLICAÇÃO: 2023, FONTE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AUTORES: Will Shackleton; Katriel Cohn Gordon; Peter C Rigby; Rui Abreu; James Gill; Nachiappan Nagappan; Karim Nakad; Ioannis Papagiannis; Luke Petre; Giorgi Megreli; Patrick Riggs; James Saindon;
PUBLICAÇÃO: 2023, FONTE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
15
TÃTULO: Modeling the Centrality of Developer Output with Software Supply Chains
AUTORES: Audris Mockus; Peter C Rigby; Rui Abreu; Parth Suresh; Yifen Chen; Nachiappan Nagappan;
PUBLICAÇÃO: 2023, FONTE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AUTORES: Audris Mockus; Peter C Rigby; Rui Abreu; Parth Suresh; Yifen Chen; Nachiappan Nagappan;
PUBLICAÇÃO: 2023, FONTE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
17
TÃTULO: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
18
TÃTULO: Mutation Testing of Quantum Programs Written in QISKit
AUTORES: Fortunato, D; Campos, J ; Abreu, R;
PUBLICAÇÃO: 2022, FONTE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
AUTORES: Fortunato, D; Campos, J ; Abreu, R;
PUBLICAÇÃO: 2022, FONTE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
19
TÃTULO: A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AUTORES: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui;
PUBLICAÇÃO: 2022, FONTE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022)
AUTORES: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui;
PUBLICAÇÃO: 2022, FONTE: 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2022 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2022)
20
TÃTULO: Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities
AUTORES: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu; Pedro Adão; Riccardo Scandariato;
PUBLICAÇÃO: 2022, FONTE: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022 in ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022
AUTORES: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu; Pedro Adão; Riccardo Scandariato;
PUBLICAÇÃO: 2022, FONTE: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2022 in ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022
