Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 56



11
TÍTULO: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTORES: Nuno Saavedra; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: ISSTA Companion
INDEXADO EM: DBLP CrossRef: 1
NO MEU: ORCID
12
TÍTULO: MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making
AUTORES: Luís Filipe Cunha ; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos ; Alípio Jorge ;
PUBLICAÇÃO: 2025, FONTE: ECIR (5), VOLUME: 15576 LNCS
INDEXADO EM: Scopus DBLP CrossRef
13
TÍTULO: MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
AUTORES: Isabel Amaral; Alexandra Mendes ; José Campos;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2511.15403
INDEXADO EM: DBLP
NO MEU: DBLP
14
TÍTULO: ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews
AUTORES: Martim Afonso; Nuno Saavedra; Bruno Lourenço; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2510.26750
INDEXADO EM: DBLP
NO MEU: DBLP
15
TÍTULO: Software Testing Education and Industry Needs - Report from the ENACTEST EU Project
AUTORES: Mehrdad Saadatmand; Abbas Khan; Beatriz Marín; Ana C R Paiva ; Nele Van Asch; Graham Moran; Felix Cammaerts; Monique Snoeck; Alexandra Mendes ;
PUBLICAÇÃO: 2025, FONTE: 26th International Conference on Product-Focused Software Process Improvement, PROFES 2025 in PROFES (Workshop), VOLUME: 16362 LNCS
INDEXADO EM: Scopus DBLP CrossRef
16
TÍTULO: Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs  Full Text
AUTORES: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLICAÇÃO: 2025, FONTE: SEFM, VOLUME: 16192 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
17
TÍTULO: Survey about Teachers' Perspective on Software Testing Education
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Anna Rita Fasolino;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
18
TÍTULO: What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
AUTORES: Francisco Oliveira; Alexandra Mendes ; Carolina Carreira;
PUBLICAÇÃO: 2025, FONTE: 36th IEEE International Symposium on Software Reliability Engineering, ISSRE 2025 in ISSRE
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
19
TÍTULO: <bold>GAMFLEW</bold>: serious game to teach white-box testing  Full Text
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
NO MEU: ORCID
20
TÍTULO: <i>DifFuzzAR</i>: automatic repair of timing side-channel vulnerabilities via refactoring  Full Text
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ; Carreira, Carolina;
PUBLICAÇÃO: 2024, FONTE: AUTOMATED SOFTWARE ENGINEERING, VOLUME: 31, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
Página 2 de 6. Total de resultados: 56.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service