Alexandra Mendes

62 papers A* 1A 6B 9C 1Journal 25Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Teachers' Perspective on Software Testing Education. ACM Trans. Comput. Educ. Anna Rita Fasolino, Beatriz Marín, Tanja E. J. Vos, Alexandra Mendes, Ana C. R. Paiva, Felix Cammaerts, Monique Snoeck, Mehrdad Saadatmand, Porfirio Tramontana
2025	J	`jnl`	A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges. CoRR Carolina Carreira, Alexandra Mendes, João F. Ferreira, Nicolas Christin
2025	B	`conf`	Are Users More Willing to Use Formally Verified Password Managers? SEFM Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2025	J	`jnl`	Are Users More Willing to Use Formally Verified Password Managers? CoRR Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2025	B	`conf`	Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. SEFM Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes
2025	J	`jnl`	Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny. CoRR Carolina Carreira, Álvaro F. Silva, Alexandre Abreu, Alexandra Mendes
2025	A	`conf`	Contract Usage and Evolution in Android Mobile Applications. ECOOP David R. Ferreira, Alexandra Mendes, João F. Ferreira, Carolina Carreira
2025	B	`conf`	Detecting Resource Leaks on Android with Alpakka. SLE Gustavo Santos, João Bispo, Alexandra Mendes
2025	J	`jnl`	Does Every Computer Scientist Need to Know Formal Methods? Formal Aspects Comput. Manfred Broy, Achim D. Brucker, Alessandro Fantechi, Mario Gleirscher, Klaus Havelund, Markus Alexander Kuppe, Alexandra Mendes, André Platzer, Jan Oliver Ringert, Allison Sullivan
2025	J	`jnl`	Environmental Impact of CI/CD Pipelines. CoRR Nuno Saavedra, Alexandra Mendes, João F. Ferreira
2025	J	`jnl`	From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges. CoRR Carolina Carreira, Nuno Saavedra, Alexandra Mendes, João F. Ferreira
2025	J	`jnl`	GAMFLEW: serious game to teach white-box testing. Softw. Qual. J. Mateus Silva, Ana C. R. Paiva, Alexandra Mendes
2025	J	`jnl`	Inferring multiple helper Dafny assertions with LLMs. CoRR Álvaro F. Silva, Alexandra Mendes, Ruben Martins
2025	—	`conf`	InfraFix: Technology-Agnostic Repair of Infrastructure as Code. ISSTA Companion Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2025	J	`jnl`	InfraFix: Technology-Agnostic Repair of Infrastructure as Code. CoRR Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2025	—	`conf`	MedLink: Retrieval and Ranking of Case Reports to Assist Clinical Decision Making. ECIR (5) Luís Filipe Cunha, Nuno Guimarães, Alexandra Mendes, Ricardo Campos, Alípio Jorge
2025	J	`jnl`	MutDafny: A Mutation-Based Approach to Assess Dafny Specifications. CoRR Isabel Amaral, Alexandra Mendes, José Campos
2025	J	`jnl`	ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews. CoRR Martim Afonso, Nuno Saavedra, Bruno Lourenço, Alexandra Mendes, João F. Ferreira
2025	—	`conf`	Software Testing Education and Industry Needs - Report from the ENACTEST EU Project. PROFES (Workshop) Mehrdad Saadatmand, Abbas Khan, Beatriz Marín, Ana C. R. Paiva, Nele Van Asch, Graham Moran, Felix Cammaerts, Monique Snoeck, Alexandra Mendes
2025	J	`jnl`	Software Testing Education and Industry Needs - Report from the ENACTEST EU Project. CoRR Mehrdad Saadatmand, Abbas Khan, Beatriz Marín, Ana C. R. Paiva, Nele Van Asch, Graham Moran, Felix Cammaerts, Monique Snoeck, Alexandra Mendes
2025	B	`conf`	Specification-Guided Repair of Arithmetic Errors in Dafny Programs Using LLMs. SEFM Valentina Wu, Alexandra Mendes, Alexandre Abreu
2025	J	`jnl`	Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs. CoRR Valentina Wu, Alexandra Mendes, Alexandre Abreu
2025	A	`conf`	What Challenges Do Developers Face When Using Verification-Aware Programming Languages? ISSRE Francisco Oliveira, Alexandra Mendes, Carolina Carreira
2025	J	`jnl`	What Challenges Do Developers Face When Using Verification-Aware Programming Languages? CoRR Francisco Oliveira, Alexandra Mendes, Carolina Carreira
2024	J	`jnl`	Contract Usage and Evolution in Android Mobile Applications. CoRR David R. Ferreira, Alexandra Mendes, João F. Ferreira
2024	J	`jnl`	DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. Autom. Softw. Eng. Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira
2024	J	`jnl`	GLITCH: Polyglot Code Smell Detection in Infrastructure as Code. ERCIM News Nuno Saavedra, João F. Ferreira, Alexandra Mendes
2024	—	`conf`	How are Contracts Used in Android Mobile Applications? ICSE Companion David R. Ferreira, Alexandra Mendes, João F. Ferreira
2024	—	`conf`	Leveraging Large Language Models to Boost Dafny's Developers Productivity. FormaliSE@ICSE Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
2024	J	`jnl`	Leveraging Large Language Models to Boost Dafny's Developers Productivity. CoRR Álvaro F. Silva, Alexandra Mendes, João F. Ferreira
2024	A	`conf`	State of the Practice in Software Testing Teaching in Four European Countries. ICST Porfirio Tramontana, Beatriz Marín, Ana C. R. Paiva, Alexandra Mendes, Tanja E. J. Vos, Domenico Amalfitano, Felix Cammaerts, Monique Snoeck, Anna Rita Fasolino
2023	—	`conf`	Exploring Automatic Specification Repair in Dafny Programs. ASEW Alexandre Abreu, Nuno Macedo, Alexandra Mendes
2023	—	`conf`	Patient-Centric Health Data Sovereignty: An Approach Using Proxy Re-Encryption. ESORICS Workshops (1) Bruno Rodrigues, Ivone Amorim, Ivan Silva, Alexandra Mendes
2023	J	`jnl`	Patient-centric health data sovereignty: an approach using Proxy re-encryption. CoRR Bruno Rodrigues, Ivone Amorim, Ivan Costa, Alexandra Mendes
2023	A*	`conf`	Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. ASE Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
2023	J	`jnl`	Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. CoRR Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira, Alexandra Mendes
2023	J	`jnl`	bGSL: An imperative language for specification and refinement of backtracking programs. J. Log. Algebraic Methods Program. Steve Dunne, João F. Ferreira, Alexandra Mendes, Campbell Ritchie, Bill Stoddart, Frank Zeyda
2022	—	`conf`	Application of Machine Learning Techniques to Examine Social Service Needs Among Hispanic Family Caregivers of Persons with Dementia. ICIMTH Sunmoo Yoon, Alexandra Mendes, Louis Burgio, Mary Mittelman, Ilana Dunner, Jed A. Levine, Carolina Hoyos, Dante Tipiani, Mildred Ramirez, Jeanne A. Teresi, José A. Luchsinger
2022	—	`conf`	Extending EcoAndroid with Automated Detection of Resource Leaks. MOBILESoft Ricardo B. Pereira, João F. Ferreira, Alexandra Mendes, Rui Abreu
2022	B	`conf`	Verified Password Generation from Password Composition Policies. IFM Miguel Grilo, João Campos, João F. Ferreira, José Bacelar Almeida, Alexandra Mendes
2021	—	`conf`	Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities. ASE Workshops Rui Lima, João F. Ferreira, Alexandra Mendes
2021	C	`conf`	EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications. QRS Ana Ribeiro, João F. Ferreira, Alexandra Mendes
2021	—	`conf`	Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. AppFM@FM Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
2021	—	`ed.`	Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings FMTea João F. Ferreira, Alexandra Mendes, Claudio Menghi
2020	—	`conf`	Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks. ISSRE Workshops David Pereira, João F. Ferreira, Alexandra Mendes
2020	J	`jnl`	Lost in Disclosure: On The Inference of Password Composition Policies. CoRR Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2020	A	`conf`	Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. AsiaCCS Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2020	J	`jnl`	Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. CoRR Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2019	—	`conf`	Logic, Algebra, and Geometry at the Foundation of Computer Science. FMTea Tony Hoare, Alexandra Mendes, João F. Ferreira
2019	—	`conf`	Lost in Disclosure: On the Inference of Password Composition Policies. ISSRE Workshops Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry
2019	—	`conf`	Open and Interactive Learning Resources for Algorithmic Problem Solving. FM Workshops (2) João F. Ferreira, Alexandra Mendes
2018	B	`conf`	Towards Verified Handwritten Calculational Proofs - (Short Paper). ITP Alexandra Mendes, João F. Ferreira
2017	B	`conf`	Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. IFM João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke
2017	A	`conf`	MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling. AAMAS Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes
2017	A	`conf`	Mise-En-Scène of Narrative Action in Interactive Storytelling. AAMAS Jamie Matthews, Fred Charles, Julie Porteous, Alexandra Mendes
2017	—	`conf`	ReqCap: Hierarchical Requirements Modeling and Test Generation for Industrial Control Systems. RE Workshops Ali Almohammad, João F. Ferreira, Alexandra Mendes, Phil White
2016	J	`jnl`	A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra. J. Log. Algebraic Methods Program. João F. Ferreira, Alexandra Mendes
2014	B	`conf`	Structure Editing of Handwritten Mathematics: Improving the Computer Support for the Calculational Method. ITS Alexandra Mendes, Roland Carl Backhouse, João F. Ferreira
2014	B	`conf`	The magic of algorithm design and analysis: teaching algorithmic skills using magic card tricks. ITiCSE João F. Ferreira, Alexandra Mendes
2012	—	`—`	Structured editing of handwritten mathematics. Alexandra Mendes
2011	—	`conf`	Logic Training through Algorithmic Problem Solving. TICTTL João F. Ferreira, Alexandra Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, Luís Soares Barbosa, José Nuno Oliveira
2009	—	`conf`	Which Mathematics for the Information Society? TFM João F. Ferreira, Alexandra Mendes, Roland Carl Backhouse, Luís Soares Barbosa