Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 52



11
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: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
12
TÍTULO: Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
AUTORES: Valentina Wu; Alexandra Mendes ; Alexandre Abreu;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.03659
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
13
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
NO MEU: DBLP
14
TÍTULO: Teachers’ Perspective on Software Testing Education  Full Text
AUTORES: Anna Rita Fasolino; Beatríz Marin; Tanja E J Vos; Alexandra Mendes ; Ana C R Paiva ; Felix Cammaerts; Monique Snoeck; Mehrdad Saadatmand; Porfirio Tramontana;
PUBLICAÇÃO: 2025, FONTE: ACM Transactions on Computing Education
INDEXADO EM: CrossRef
NO MEU: ORCID
15
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 CoRR, VOLUME: abs/2506.23696
INDEXADO EM: Scopus DBLP
16
TÍTULO: Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries"
AUTORES: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLICAÇÃO: 2024
INDEXADO EM: DBLP
NO MEU: DBLP
17
TÍTULO: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
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
NO MEU: ORCID | DBLP
18
TÍTULO: GLITCH: Polyglot Code Smell Detection in Infrastructure as Code
AUTORES: Saavedra, Nuno; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: ERCIM NEWS, VOLUME: 139, NÚMERO: 139
INDEXADO EM: WOS DBLP
NO MEU: DBLP
19
TÍTULO: How are Contracts Used in Android Mobile Applications?
AUTORES: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLICAÇÃO: 2024, FONTE: 44th International Conference on Software Engineering: Companion Proceedings in 2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS, ICSE-COMPANION 2024
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
20
TÍTULO: Leveraging Large Language Models to Boost Dafny's Developers Productivity
AUTORES: Silva, Alvaro; Mendes, Alexandra ; Ferreira, Joao F. ;
PUBLICAÇÃO: 2024, FONTE: IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | DBLP
Página 2 de 6. Total de resultados: 52.

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