Scholar
Alexandra Mendes
Google Scholar ID: zEyAqMUAAAAJ
Faculty of Engineering, University of Porto and HASLab, INESC TEC
Formal Methods
Software Reliabity
Software Engineering
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
296
H-index
9
i10-index
9
Publications
20
Co-authors
29
list available
Publications
11 items
ProofPulse: Interactive Proof Coverage Analysis for Dafny
2026
Cited
0
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
2026
Cited
0
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
Load more
Co-authors
7 total
João F. Ferreira
Instituto Superior Técnico (Univ. Lisboa) & INESC-ID
Luis S. Barbosa
Professor of Computer Science, Universidade do Minho
Nicolas Christin
Carnegie Mellon University
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Mario Gleirscher
ENSTA | IP Paris
Alcino Cunha
HASLab, INESC TEC and Universidade do Minho
Carlos Baquero
Professor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.
