Publications

Articles

International Journal Articles: 1

2020

- Abubakar Zakari and Sai Peck Lee and Rui Abreu and Babiker Hussien Ahmed, Multiple fault localization of software programs: A systematic literature review, article in Information and Software Technology vol. 124, to appear on 2020, Elsevier BV [DOI Article link] [bibTex] [PDF]

International Conferences: 4

2020

- João F. Ferreira and António Pedro Cruz Monteiro and Thomas Durieux and Rui Abreu, SmartBugs: A Framework to Analyze Solidity Smart Contracts, presented at 35th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, Jul. 2020 [bibTex] [PDF]
- Rui Abreu and Marcelo D'Amorim and Carlos Mello, Visual Sketching: From Image Sketches to Code, presented at The 42th International Conference on Software Engineering (ICSE'20), Jan. 2020 [bibTex] [PDF]

2019

- Thomas Durieux and João F. Ferreira and Rui Abreu and António Pedro Cruz Monteiro, Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts, presented at 42nd International Conference on Software Engineering (ICSE 2020), Dec. 2019 [bibTex] [PDF]
- Rui Abreu and Sofia Oliveira Reis and Marcelo D'Amorim, Demystifying the Combination of Dynamic Slicing and Spectrum-based Fault Localization, presented at 28th International Joint Conference on Artificial Intelligence (IJCAI19), May. 2019 [bibTex] [PDF]

Dissertations

MSc Theses: 1

2020

- João Francisco Roberto Martins advised by João F. Ferreira and Rui Abreu, Prioritizing Facebook´s Infer Static Analysis Tool Warnings, MSc Thesis, Nov. 2020 [bibTex]