Alexandre Almeida Filho

Domínios

Laboratório de Software Confiável Ciência e Engenharia dos Computadores

Projetos

SpecRep

O projeto SpecRep pretende promover a correta especificação formal de componentes de software, necessária para o desenvolvimento de software confiável.

Publicações

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