Alexandre Almeida Filho

Domains

High-Assurance Software Computer Science and Engineering

Projects

SpecRep

The SpecRep projects aims at promoting the correct formal specification of software components, an essential step for the development of reliable software.

Publications

Exploring Automatic Specification Repair in Dafny Programs

Abreu, A;Macedo, N;Mendes, A;

2023

2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW