Rui Filipe Lima Maranhão de Abreu
AuthID: R-000-KWV
11
TITLE: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTHORS: João Pascoal Faria ; Rui Abreu;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: João Pascoal Faria ; Rui Abreu;
PUBLISHED: 2023, SOURCE: 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
TITLE: Augmenting Automated Spectrum Based Fault Localization for Multiple Faults
AUTHORS: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui; Roy, Subhajit;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Chatterjee, Prantik; Campos, Jose ; Abreu, Rui; Roy, Subhajit;
PUBLISHED: 2023, SOURCE: 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
TITLE: GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Ribeiro, Francisco; Castro de Macedo, Jose Nuno; Tsushima, Kanae; Abreu, Rui; Saraiva, Joao ;
PUBLISHED: 2023, SOURCE: 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
TITLE: Dead Code Removal at Meta: Automatically Deleting Millions of Lines of Code and Petabytes of Deprecated Data
AUTHORS: 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;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AUTHORS: 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;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
15
TITLE: Modeling the Centrality of Developer Output with Software Supply Chains
AUTHORS: Audris Mockus; Peter C Rigby; Rui Abreu; Parth Suresh; Yifen Chen; Nachiappan Nagappan;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AUTHORS: Audris Mockus; Peter C Rigby; Rui Abreu; Parth Suresh; Yifen Chen; Nachiappan Nagappan;
PUBLISHED: 2023, SOURCE: ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
17
TITLE: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 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
TITLE: Mutation Testing of Quantum Programs Written in QISKit
AUTHORS: Fortunato, D; Campos, J ; Abreu, R;
PUBLISHED: 2022, SOURCE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
AUTHORS: Fortunato, D; Campos, J ; Abreu, R;
PUBLISHED: 2022, SOURCE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
19
TITLE: A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 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)
AUTHORS: Trinca, Miguel; Ferreira, Joao F.; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 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
TITLE: Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities
AUTHORS: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu; Pedro Adão; Riccardo Scandariato;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Eduard Pinconschi; Quang Cuong Bui; Rui Abreu; Pedro Adão; Riccardo Scandariato;
PUBLISHED: 2022, SOURCE: 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
