Alexandra Mendes
Scholar

Alexandra Mendes

Google Scholar ID: zEyAqMUAAAAJ
Faculty of Engineering, University of Porto and HASLab, INESC TEC
Formal MethodsSoftware ReliabitySoftware Engineering
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
296
 
H-index
9
 
i10-index
9
 
Publications
20
 
Co-authors
29
list available
Contact
No contact links provided.
Publications
9 items
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
2025
Cited
0
Inferring multiple helper Dafny assertions with LLMs
2025
Cited
0
Environmental Impact of CI/CD Pipelines
2025
Cited
0
ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
2025
Cited
0
Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
2025
Cited
0
Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
2025
Cited
0
What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
2025
Cited
0
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
2025
Cited
0
Resume (English only)
Co-authors
29 total
João F. Ferreira
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Co-author 2
Co-author 2
Luis S. Barbosa
Luis S. Barbosa
Professor of Computer Science, Universidade do Minho
Co-author 4
Co-author 4
Nicolas Christin
Nicolas Christin
Carnegie Mellon University
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8