398 citations · 576 across the 21 of their papers we have counts for
18 papers · 1 filter
Case studies of development of verified programs with Dafny for accessibility assessment
João Pascoal Faria, Rui Abreu
Formal verification techniques aim at formally proving the correctness of a computer program with respect to a formal specification, but the expertise and effort required for apply…
The Bumpy Road of Taking Automated Debugging to Industry
Rui Abreu
Debugging is arguably among the most difficult and extremely time consuming tasks of the software development life cycle. Therefore, it comes as no surprise that researchers have i…
Green Software Lab: Towards an Engineering Discipline for Green Software
Rui Abreu, Marco Couto, Luís Cruz +5
This report describes the research goals and results of the Green Software Lab (GSL) research project. This was a project funded by Fundação para a Ciência e a Tecnologia (FCT) --…
Mining Idioms in the Wild
Aishwarya Sivaraman, Rui Abreu, Andrew Scott +2
Existing code repositories contain numerous instances of code patterns that are idiomatic ways of accomplishing a particular programming task. Sometimes, the programming language i…
Fixing Vulnerabilities Potentially Hinders Maintainability
Sofia Reis, Rui Abreu, Luis Cruz
Security is a requirement of utmost importance to produce high-quality software. However, there is still a considerable amount of vulnerabilities being discovered and fixed almost…
SmartBugs: A Framework to Analyze Solidity Smart Contracts
João F. Ferreira, Pedro Cruz, Thomas Durieux +1
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and re…