Alexandre Abreu

According to our database, Alexandre Abreu authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2023

The evolution of Complexity co-occurring keywords: bibliometric analysis and network approach.

Tanya Araújo, Alexandre Abreu, Francisco Louçã

CoRR, 2023

Exploring Automatic Specification Repair in Dafny Programs.

Alexandre Abreu, Nuno Macedo, Alexandra Mendes

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, 2023