Alexandra Mendes
Alexandra Mendes
Home
Projects
Publications
Teaching
Contact
Research Opportunities
Funded Projects & Service
Page not found
Perhaps you were looking for one of these?
Latest
State of the Practice in Software Testing Teaching in Four European Countries
How are Contracts Used in Android Mobile Applications?
Leveraging Large Language Models to Boost Dafny’s Developers Productivity
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
Patient-centric health data sovereignty: an approach using proxy re-encryption
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs
Extending EcoAndroid with Automated Detection of Resource Leaks
Exploring Automatic Specification Repair in Dafny Programs
Verified password generation from password composition policies
Cite
×