398 citations · 576 across the 21 of their papers we have counts for
22 papers
SECOMlint: A linter for Security Commit Messages
Sofia Reis, Corina Pasareanu, Rui Abreu +1
Transparent and efficient vulnerability and patch disclosure are still a challenge in the security community, essentially because of the poor-quality documentation stemming from th…
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…
A ground-truth dataset of real security patches
Sofia Reis, Rui Abreu
Training machine learning approaches for vulnerability identification and producing reliable tools to assist developers in implementing quality software -- free of vulnerabilities…
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…