Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 57



1
TITLE: Teachers' Perspective on Software Testing Education
AUTHORS: Fasolino, Anna Rita; Marin, Beatriz; Vos, Tanja E. J.; Mendes, Alexandra ; Paiva, Ana C. R. ; Cammaerts, Felix; Snoeck, Monique; Saadatmand, Mehrdad; Tramontana, Porfirio;
PUBLISHED: 2026, SOURCE: ACM TRANSACTIONS ON COMPUTING EDUCATION, VOLUME: 26, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges
AUTHORS: Carolina Carreira; Alexandra Mendes ; João F Ferreira; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02109
INDEXED IN: DBLP
3
TITLE: Are Users More Willing to Use Formally Verified Password Managers?  Full Text
AUTHORS: Carolina Carreira; João F Ferreira ; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS
INDEXED IN: Scopus DBLP CrossRef
4
TITLE: Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny  Full Text
AUTHORS: Carolina Carreira; Álvaro F Silva; Alexandre Abreu; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: SEFM, VOLUME: 16192 LNCS
INDEXED IN: Scopus DBLP
IN MY: DBLP
5
TITLE: Contract Usage and Evolution in Android Mobile Applications  Full Text
AUTHORS: Ferreira, David R.; Mendes, Alexandra ; Ferreira, Joao F.; Carreira, Carolina;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Orientated Programming-ECOOP in 39TH EUROPEAN CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, ECOOP 2025, VOLUME: 333
INDEXED IN: Scopus WOS DBLP
6
TITLE: Detecting Resource Leaks on Android with Alpakka
AUTHORS: Santos, Gustavo; Bispo, Joao ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: 18th International Conference on Software Language Engineering-SLE-Annual in PROCEEDINGS OF SLE 2025 18TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON SOFTWARE LANGUAGE ENGINEERING, SLE 2025
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
7
TITLE: Does Every Computer Scientist Need to Know Formal Methods?  Full Text
AUTHORS: Broy, Manfred; Brucker, Achim D.; Fantechi, Alessandro; Gleirscher, Mario; Havelund, Klaus; Kuppe, Markus Alexander; Mendes, Alexandra ; Platzer, Andre; Ringert, Jan Oliver; Sullivan, Allison;
PUBLISHED: 2025, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 37, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 19
IN MY: ORCID
8
TITLE: Environmental Impact of CI/CD Pipelines
AUTHORS: Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2510.26413
INDEXED IN: DBLP
IN MY: DBLP
9
TITLE: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTHORS: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.08678
INDEXED IN: DBLP
10
TITLE: Inferring multiple helper Dafny assertions with LLMs
AUTHORS: Álvaro F Silva; Alexandra Mendes ; Ruben Martins;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2511.00125
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 6. Total results: 57.

footer slogan

Useful Links

Get Help

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