Rui Filipe Lima Maranhão de Abreu
AuthID: R-000-KWV
11
TÃTULO: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTORES: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLICAÇÃO: 2023, FONTE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN
AUTORES: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLICAÇÃO: 2023, FONTE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN
12
TÃTULO: REXSTEPPER: a Reference Debugger for JavaScript Regular Expressions
AUTORES: Almeida, Luis; Gonzaga, Miguel; Santos, Jose Fragoso; Abreu, Rui;
PUBLICAÇÃO: 2023, FONTE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION
AUTORES: Almeida, Luis; Gonzaga, Miguel; Santos, Jose Fragoso; Abreu, Rui;
PUBLICAÇÃO: 2023, FONTE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION
13
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
14
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
15
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
16
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
17
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
19
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
20
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