Rui Filipe Lima Maranhão de Abreu


AuthID: R-000-KWV

Confirmed Publications: 201



61
TITLE: Diagnosing Software Faults Using Multiverse Analysis
AUTHORS: Prantik Chatterjee; Abhijit Chatterjee; José Campos ; Rui Abreu ; Subhajit Roy;
PUBLISHED: 2020, SOURCE: 29th International Joint Conference on Artificial Intelligence, IJCAI 2020 in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]., VOLUME: 2021-January
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
62
TITLE: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts PDF
AUTHORS: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLISHED: 2020, SOURCE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020
INDEXED IN: DBLP arXiv
IN MY: DBLP
63
TITLE: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts PDF
AUTHORS: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020)
INDEXED IN: Scopus WOS arXiv CrossRef: 30
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Empirical Study of Restarted and Flaky Builds on Travis CI PDF
AUTHORS: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLISHED: 2020, SOURCE: 17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020 in CoRR, VOLUME: abs/2003.11772
INDEXED IN: Scopus DBLP arXiv CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
65
TITLE: Message from TAIC PART Chairs
AUTHORS: Abreu, R ; Amorim, M; Yang, G;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
INDEXED IN: Scopus
IN MY: ORCID
66
TITLE: Message from the General Chairs
AUTHORS: Abreu, R ; Faria, JP;
PUBLISHED: 2020, SOURCE: 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
INDEXED IN: Scopus
IN MY: ORCID
67
TITLE: Multiple fault localization of software programs: A systematic literature review  Full Text
AUTHORS: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLISHED: 2020, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | DBLP | CIÊNCIAVITAE
68
TITLE: Off-the-shelf Components for Quantum Programming and Testing
AUTHORS: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Q-SET@QCE, VOLUME: 2705
INDEXED IN: Scopus DBLP
69
TITLE: SmartBugs: A Framework to Analyze Solidity Smart Contracts. a framework to analyze solidity smart contracts PDF
AUTHORS: Ferreira, JF ; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020)
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
70
TITLE: Visual sketching. from image sketches to code
AUTHORS: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLISHED: 2020, SOURCE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 7 of 21. Total results: 201.

footer slogan

Useful Links

Get Help

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