Alexandre Abreu

According to our database, Alexandre Abreu authored at least 4 papers between 2023 and 2025.

Collaborative distances:

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

2025

Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs.

Valentina Wu, Alexandra Mendes, Alexandre Abreu

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny.

Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

2024

The Evolution of Complexity Co-occurring Keywords: bibliometric Analysis and Network Approach.

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

Adv. Complex Syst., 2024

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