1
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
IN MY: DBLP
2
TITLE: Are Users More Willing to Use Formally Verified Password Managers?
AUTHORS: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.02124
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Contract Usage and Evolution in Android Mobile Applications  Full Text
AUTHORS: David R Ferreira; Alexandra Mendes ; João F Ferreira; Carolina Carreira;
PUBLISHED: 2025, SOURCE: 39th European Conference on Object-Oriented Programming, ECOOP 2025 in 39th European Conference on Object-Oriented Programming, ECOOP 2025, June 30 to July 2, 2025, Bergen, Norway, VOLUME: 333
INDEXED IN: Scopus DBLP
4
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: 11
IN MY: ORCID | DBLP
5
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
IN MY: DBLP
6
TITLE: GAMFLEW: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
7
TITLE: InfraFix: Technology-Agnostic Repair of Infrastructure as Code
AUTHORS: Nuno Saavedra; João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2025, SOURCE: Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making
AUTHORS: Luís Filipe Cunha; Nuno Guimarães ; Alexandra Mendes ; Ricardo Campos; Alípio Jorge ;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
9
TITLE: Course mapping dataset for the paper "State of the Practice in Software Testing Teaching in Four European Countries"
AUTHORS: Porfirio Tramontana; Beatriz Marín; Ana C R Paiva ; Alexandra Mendes ; Tanja E J Vos; Domenico Amalfitano; Felix Cammaerts; Monique Snoeck; Anna Rita Fasolino;
PUBLISHED: 2024
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
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
IN MY: ORCID | DBLP
Page 1 of 5. Total results: 45.