398 citations · 576 across the 21 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023
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…
cs.SE2023★ 1 cited
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…