Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 56



11
TITLE: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTHORS: Nuno Saavedra; João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: ISSTA Companion
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID
12
13
TITLE: MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
AUTHORS: Isabel Amaral; Alexandra Mendes ; José Campos;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.15403
INDEXED IN: DBLP
IN MY: DBLP
14
TITLE: ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
AUTHORS: Martim Afonso; Nuno Saavedra; Bruno Lourenço; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26750
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTHORS: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana C R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in PROFES (Workshop), VOLUME: 16362 LNCS
INDEXED IN: Scopus DBLP CrossRef
16
TITLE: Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs  Full Text
AUTHORS: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
17
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
INDEXED IN: DBLP
18
TITLE: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTHORS: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025 in ISSRE
INDEXED IN: Scopus DBLP
IN MY: DBLP
19
TITLE: <bold>GAMFLEW</bold>: serious game to teach white-box testing  Full Text
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2024, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
IN MY: ORCID
20
TITLE: <i>DifFuzzAR</i>: automatic repair of timing side-channel vulnerabilities via refactoring  Full Text
AUTHORS: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ; Carreira, Carolina;
PUBLISHED: 2024, SOURCE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
Page 2 of 6. Total results: 56.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service