Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 56



21
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
22
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: 2024, NÚMERO: 139
INDEXADO EM: WOS DBLP
23
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
24
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: 8
NO MEU: ORCID
25
TÍTULO: Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption
AUTORES: Rodrigues, Bruno; Amorim, Ivone ; Silva, Ivan; Mendes, Alexandra ;
PUBLICAÇÃO: 2024, FONTE: 28th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY. ESORICS 2023 INTERNATIONAL WORKSHOPS, PT I, VOLUME: 14398
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
26
TÍTULO: State of the Practice in Software Testing Teaching in Four European Countries
AUTORES: Tramontana, Porfirio; Marin, Beatriz; Paiva, Ana C. R. ; Mendes, Alexandra ; Vos, Tanja E. J.; Amalfitano, Domenico; Cammaerts, Felix; Snoeck, Monique; Fasolino, Anna Rita;
PUBLICAÇÃO: 2024, FONTE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXADO EM: WOS DBLP
27
TÍTULO: bGSL: An imperative language for specification and refinement of backtracking programs
AUTORES: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID
28
TÍTULO: Exploring Automatic Specification Repair in Dafny Programs
AUTORES: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, VOLUME: 6605
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
NO MEU: ORCID
29
TÍTULO: Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
AUTORES: Saavedra, Nuno; Goncalves, Joao; Henriques, Miguel; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2023, FONTE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
30
TÍTULO: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui ;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
Página 3 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