Alexandra Mendes
Alexandra Mendes
Home
Publications
Funded Projects & Service
Research Opportunities
Contact
Teaching
Projects
Isabel Amaral
Latest
DafnyFix: Single-Transformation Automated Repair in Dafny
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
Cite
×