Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Confirmed Publications: 202



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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
12
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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
14
TITLE: Message from the Fast Abstract Chairs
AUTHORS: Rui Abreu ; Ganesh Pai;
PUBLISHED: 2023, SOURCE: 34th IEEE International Symposium on Software Reliability Engineering Workshop, ISSREW 2023 in Proceedings - 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshop, ISSREW 2023
INDEXED IN: Scopus
IN MY: ORCID
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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
16
TITLE: REXSTEPPER: a Reference Debugger for JavaScript Regular Expressions
AUTHORS: Almeida, Luis; Gonzaga, Miguel; Santos, Jose Fragoso; Abreu, Rui ;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
17
TITLE: Software fault localization for programs with multiple bugs
AUTHORS: Gao, R; Wong, WE; Abreu, R ;
PUBLISHED: 2023, SOURCE: Handbook of Software Fault Localization: Foundations and Advances
INDEXED IN: Scopus CrossRef
IN MY: ORCID
18
TITLE: Spectrum-based feature localization for families of systems?  Full Text
AUTHORS: Michelon, Gabriela K.; Martinez, Jabier; Sotto Mayor, Bruno; Arrieta, Aitor; Assuncao, Wesley K. G.; Abreu, Rui ; Egyed, Alexander;
PUBLISHED: 2023, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 195
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
19
TITLE: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTHORS: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
20
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)
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID
Page 2 of 21. Total results: 202.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service