Alexandra Sofia Ferreira Mendes
AuthID: R-00H-J2M
1
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.22370
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.22370
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTHORS: Francisco Oliveira; Alexandra Mendes; Carolina Carreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.23696
AUTHORS: Francisco Oliveira; Alexandra Mendes; Carolina Carreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2506.23696
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Survey about Teachers' Perspective on Software Testing Education
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva; Alexandra Mendes; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva; Alexandra Mendes; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLISHED: 2025
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP4
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTHORS: Valentina Wu; Alexandra Mendes; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659
AUTHORS: Valentina Wu; Alexandra Mendes; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.03659
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP