Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Confirmed Publications: 160



1
TITLE: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
AUTHORS: Lima, Rui ; Ferreira, Joao F.; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
2
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
3
TITLE: A transformer-based IDE plugin for vulnerability detection
AUTHORS: Mamede, Claudia; Pinconschi, Eduard; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
4
TITLE: Asserting the correctness of Shor implementations using metamorphic testing
AUTHORS: Nuno Costa; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2022, SOURCE: QP4SE 2022 - Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering, co-located with ESEC/FSE 2022
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: Exploring Design smells for smell-based defect prediction  Full Text
AUTHORS: Sotto Mayor, Bruno; Elmishali, Amir; Kalech, Meir; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, VOLUME: 115
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
6
TITLE: Exploring Transformers for Multi-Label Classification of Java Vulnerabilities
AUTHORS: Mamede, Claudia; Pinconschi, Eduard; Abreu, Rui ; Campos, Jose ;
PUBLISHED: 2022, SOURCE: 22nd IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, VOLUME: 2022-December
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
7
TITLE: Framing Program Repair as Code Completion
AUTHORS: Ribeiro, Francisco; Abreu, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: International Workshop on Automated Program Repair (APR) in INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR (APR 2022)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
8
TITLE: Leveraging Practitioners' Feedback to Improve a Security Linter
AUTHORS: Reis, Sofia; Abreu, Rui ; d'Amorim, Marcelo; Fortunato, Daniel;
PUBLISHED: 2022, SOURCE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
9
TITLE: Metamorphic Testing of Oracle Quantum Programs
AUTHORS: Abreu, Rui ; Fernandes, Joao Paulo ; Liana, Luis; Tavares, Guilherme;
PUBLISHED: 2022, SOURCE: 3rd International Workshop on Quantum Software Engineering (Q-ES) in 3RD INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2022)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
10
TITLE: Mutation Testing of Quantum Programs Written in QISKit
AUTHORS: Fortunato, Daniel; Campos, Jose; Abreu, Rui ;
PUBLISHED: 2022, SOURCE: 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022)
INDEXED IN: WOS CrossRef: 3
IN MY: ORCID
Page 1 of 16. Total results: 160.

footer slogan

Useful Links

Get Help

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