Publications
Filter Publications: 2019 - 2021
Articles
International Journal Articles: 1
2020
- 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
- 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]
, - Visual Sketching: From Image Sketches to Code, presented at The 42th International Conference on Software Engineering (ICSE'20), Jan. 2020 [bibTex] [PDF]
, 2019
- 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]
, - 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 F. Ferreira and Rui Abreu, Prioritizing Facebook´s Infer Static Analysis Tool Warnings, MSc Thesis, Nov. 2020 [bibTex]
advised by