Identification
Personal identification
- Full name
- Ana Cristina Ramada Paiva
Citation names
- Ana C. R. Paiva
Author identifiers
- Ciência ID
- 9B1D-EC15-2455
- ORCID iD
- 0000-0003-3431-8060
Telephones
- Telephone
-
- 220413318 (Professional)
Websites
- http://www.fe.up.pt/~apaiva (Professional)
Knowledge fields
- Exact Sciences - Computer and Information Sciences - Computer Sciences
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
English | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) | Proficiency (C2) |
Portuguese (Mother tongue) |
Education
Degree | Classification | |
---|---|---|
2018
Concluded
|
Agregação (Título de Agregado)
Major in Engenharia Informática
Universidade do Porto Faculdade de Engenharia, Portugal
|
Aprovada por unanimidade |
2007
Concluded
|
Doutoramento em Engenharia Electrotécnica e de Computadores (Doutoramento)
Major in Informática
Universidade do Porto Faculdade de Engenharia, Portugal
"Automated Specification-Based Testing of Graphical User Interfaces" (THESIS/DISSERTATION)
|
Aprovado por unanimidade |
1998
Concluded
|
Mestrado em Engenharia Electrotécnica e de Computadores (Mestrado)
Universidade do Porto Faculdade de Engenharia, Portugal
"Aquisição de Informação Tridimensional com Luz Estrutural Codificada " (THESIS/DISSERTATION)
|
Muito bom |
1995
Concluded
|
Licenciatura em Engenharia de Sistemas e Informática (Licenciatura)
Universidade do Minho, Portugal
|
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
2014/02/01 - Current | Researcher (Research) | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal |
Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2020/07/30 - Current | Associate Professor (University Teacher) | Universidade do Porto Faculdade de Engenharia, Portugal |
Universidade do Porto Faculdade de Engenharia, Portugal | ||
2007/02/14 - 2020/07/29 | Assistant Professor (University Teacher) | Universidade do Porto Faculdade de Engenharia, Portugal |
Universidade do Porto Faculdade de Engenharia, Portugal | ||
2001/09/17 - 2007/02/13 | Assistant (University Teacher) | Universidade do Porto Faculdade de Engenharia, Portugal |
Universidade do Porto Faculdade de Engenharia, Portugal | ||
1999/10/08 - 2001/09/16 | Invited Assistant (University Teacher) | Universidade do Porto Faculdade de Engenharia, Portugal |
Universidade do Porto Faculdade de Engenharia, Portugal | ||
1997/04 - 1999/10 | Invited Assistant (Polytechnic Teacher) | Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal |
Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal |
Positions / Appointments
Category Host institution |
Employer | |
---|---|---|
2016 - 2023 | Diretora do Mestrado em Engenharia de Software | Universidade do Porto Faculdade de Engenharia, Portugal |
Universidade do Porto Faculdade de Engenharia, Portugal |
Projects
Contract
Designation | Funders | |
---|---|---|
2019 - 2022 | Low Code Platform - BAMoL
POCI-01-0247-FEDER-39661
Researcher
|
Agência Nacional de Inovação SA
Ongoing
|
2019 - 2022 | Safe Cities
POCI-01-0247-FEDER-041435 (Safe Cities)
Researcher
|
Ongoing
|
2015/12/01 - 2017/07/30 | Accelerated Improvement Method Strongstep 2 - AIMS2
POCI-01-0247-FEDER-006405
Researcher
|
Agência Nacional de Inovação SA
Concluded
|
2012/04/01 - 2015/04/30 | AutoSeer: Oráculos Automáticos para Detecção de Erros em Software
PTDC/EIA-CCO/116796/2010
Universidade do Minho, Portugal
Universidade do Minho Centro ALGORITMI, Portugal Universidade do Porto Faculdade de Engenharia, Portugal |
Fundação para a Ciência e a Tecnologia
Concluded
|
2012 - 2015 | Teste de interfaces gráficas com o utilizador baseado em padrões - PBGT
Principal investigator
|
Fundação para a Ciência e a Tecnologia
Concluded
|
2011 - 2014 | Accelerated Improvement Method Support - AIMS
SI IDT - 21562/2011
Researcher
|
Agência Nacional de Inovação SA
Concluded
|
2010 - 2012 | Empresa pela Fiabillidade em Componentes de Software Genéricas - QUEST
PTDC/EIA-EIA/103103/2008
Researcher
|
Fundação para a Ciência e a Tecnologia
Concluded
|
2008 - 2011 | Um ambiente automatizado de teste de interfaces para o utilizador com base em modelos - AMBER iTest
PTDC/EIA/66767/2006
Researcher
|
Fundação para a Ciência e a Tecnologia
Concluded
|
2005 - 2008 | Um ambiente de análise de usabilidade baseado em modelos - IVY
POSC/EIA/56646/2004
Researcher
|
Fundação para a Ciência e a Tecnologia
Concluded
|
Other
Designation | Funders | |
---|---|---|
2022/09/01 - Current | European iNnovation AllianCe for TESting educaTion
Researcher
|
Ongoing
|
Outputs
Publications
Conference paper |
|
Edited book |
|
Journal article |
|
Other
Dataset |
|
Other output |
|
Activities
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2023/06 - Current | Study and Definition of an Approach to Support Software Regression Testing Activities using Code Smell Information
Co-supervisor
|
Programa de Pós-Graduação em Ciências de Computação e Matemática Computacional (PhD)
Universidade de São Paulo, Brazil
|
2019 - 2020 | Cost Reduction Technique for Mutation Testing
Co-supervisor
|
Mestrado em Engenharia de Software (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2020 | Requirements Specification to Tests Execution: An Integrated Approach from Acceptance Tests Perspective
Co-supervisor
|
Mestrado em Engenharia de Software (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2020 | Change Impact Analysis Based on Business Process Model
Co-supervisor
|
Mestrado em Engenharia de Software (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2019 | Fault Injection in Android Applications
Supervisor
|
Engenharia de Software (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2019 | Model Based Testing - From requirements to tests
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2019 | Exploração Dinâmica em Android
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2019 | Análise de Impacto das Alterações a Processos Descritos em BPMN
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2019 | Android Crawler
Supervisor
|
Engenharia de Software (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2019 | Mining Web Usage to Generate Regression GUI Tests Automatically
Co-supervisor
|
Engenharia de Software (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 - 2019 | Mutation-based Web Test Case Generation
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2018 - 2019 | Automatização de testes para plataformas Oracle - Xstore
Supervisor
|
Mestrado Integrado em Engenharia Electrotécnica e de Computadores (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2018 - 2018 | Android Testing
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2018 - 2018 | Pattern Based Usability Testing
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2018 - 2018 | Fault injection in Android applications
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Pattern Based Usability Testing
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Pattern Based Security Testing
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Android Testing
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Serious Game to Learn Software Testing
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Injeção de Defeitos em Aplicações Android
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Discovery of Requirements Dependencies through Web Usage Analysis
Supervisor
|
Engenharia da Informação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Gestão Documental
Supervisor
|
Engenharia Electrotécnica e de Computadores (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Gestão Documental na Finantech
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2017 - 2017 | Model Based Testing - From requirements to tests
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2013 - 2017 | Automated Pattern-Based Testing of Mobile Applications
Co-supervisor
|
Programa Doutoral em Engenharia Informática (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2016 - 2016 | Automatização de Testes em Ambiente Web
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2016 - 2016 | Requirements Maintenance
Supervisor
|
Engenharia de Serviços e Gestão (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2016 - 2016 | Game DesignTechniques for Software Engineering
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2016 - 2016 | A Comparative Study of GUI Testing Approaches
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2011 - 2016 | Requirements change management based on web usage mining
Supervisor
|
Programa Doutoral em Engenharia Informática (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2015 - 2015 | Platform for Educational Games Generation
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2015 - 2015 | Game Design Techniques for Software Engineering Management Education
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2015 - 2015 | Elicitação de Requisitos para uma plataforma de ensino de Gestão de Projetos de Software
Co-supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2011 - 2015 | Pattern-Based GUI Testing
Co-supervisor
|
Programa Doutoral em Engenharia Informática (PhD) |
2014 - 2014 | Automated Pattern-Based Testing of Mobile Applications
Co-supervisor
|
Engenharia Informática (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2014 - 2014 | Engenharia reversa de padrões de interação
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2014 - 2014 | iLearnTest: Jogo educativo para aprendizagem de testes de software
Supervisor
|
Engenharia Informática e Computação (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2013 - 2013 | A Engenharia de Requisitos no contexto de manutenção de Software as a Service
Supervisor
|
Engenharia de Serviços e Gestão (Master)
Universidade do Porto Faculdade de Engenharia, Portugal
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
2021 - Current | General Co-Chair of ICSE 24 (International Conference on Software Engineering) (2024/04/14 - 2024/04/20)
Conference (Co-organisor)
|
|
2020/09/01 - 2021/10/01 | Program Co-Chair of the 14th International Conference on the Quality of Information and Communications Technology (QUATIC
2021), Faro, Portugal, 2021 (2021/09/08 - 2021/09/11)
Conference (Other)
|
|
2019 - 2021 | Co-Organizing Chair of the International Conference of Software Testing, Verification and Validation (ICST), Brazil, 2021 (2021/04/12 - 2021/04/16)
Conference (Co-organisor)
|
|
2020/10/19 - 2020/10/23 | 16th International Summer School on Training And Research On Testing (2020/10/19 - 2020/10/23)
Other (Other)
|
|
2019/01/01 - 2019/11/01 | Organizer committee member of the 3rdWorld Congress on Formal Methods (FM19), Portugal, 2019 (2019/10/07 - 2019/10/11)
Conference (Member of the Organising Committee)
|
|
2015 - 2015 | Social Media Chair - 30th IEEE/ACM International Conference on Automated Software Engineering (ASE2015), November 9-13, Lincoln,
Nebrasca, USA, 2015 (2015/11/09 - 2015/11/13)
Conference (Member of the Organising Committee)
|
|
2012 - 2012 | Program Co-Chair - 8th International Conference on the Quality of Information and Communications Technology (QUATIC 2012), Porto, 2012 (2012/09/03 - 2012/09/06) | |
2010 - 2010 | Co-organizing Chair of the 7th International Conference on the Quality of Information and Communications Technology (QUATIC
2010), 29 Set - 2 Out, Porto, 2010 (2010/09/29 - 2010/10/02)
Conference (Co-organisor)
|
Event participation
Activity description Type of event |
Event name Institution / Organization |
|
---|---|---|
2019/10/07 - 2019/10/07 | Invited Speaker in the 17th Overture Workshop, part of 3rd World Congress on Formal Methods (FM), Porto, October 2019
Workshop
|
17th Overture Workshop |
2014 - 2014 | Speaker at the 10th TAROT Summer School on Software Testing, presenting “GUI and Web Testing” - Porto, Portugal, 2014
Other
|
10th TAROT Summer School on Software Testing |
Jury of academic degree
Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
---|---|---|
2024/02/06 | On overcoming challenges with GUI-based test automation
(Thesis) Arguer
|
Michel Nass (PhD)
Blekinge Institute of Technology, Sweden
|
2021/02/18 | Observability and Controllability in Scenario-based Integration Testing of Time-Constrained Distributed Systems
(Thesis) Arguer
|
Bruno Miguel Carvalhido Lima (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2021/01/22 | Um Metamodelo para Alinhamento de Padrões de Requisitos e Padrões de Testes e um Framework para Avaliação de Metamodelos
(Thesis) Main arguer
|
Taciana Novo Kudo (PhD)
Universidade Federal de São Carlos, Brazil
|
2016 | EQualPI: a Framework to Evaluate the Quality of the Implementation of the CMMI Practices
(Thesis) Arguer
|
Isabel de Jesus Lopes Margarido (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2011 | Automatic Generation of User Interfaces from Rigorous Domain and Use Case Models
(Thesis) Arguer
|
António Miguel Ribeiro dos Santos Rosado da Cruz (PhD)
Universidade do Porto Faculdade de Engenharia, Portugal
|
2010/12/28 | GUISurfer: A Generic Framework for Reverse Engineering of Graphical User Interfaces
(Thesis) Arguer
|
João Carlos Cardoso da Silva (PhD)
Universidade do Minho, Portugal
|
Association member
Society Organization name | Role | |
---|---|---|
2010 - Current | PSTQB - Associação Portuguesa de Testes de Software | Membro da Direção |
Conference scientific committee
Conference name | Conference host | |
---|---|---|
2020 - 2020 | IEEE Conference on Software Testing, Validation and Verification | Porto |
2018 - 2018 | IEEE International Conference on Software Testing, Verification and Validation | Sweden |
2016 - 2016 | Automated Software Engineering (ASE) | Singapore |
Journal scientific committee
Journal title (ISSN) | Publisher | |
---|---|---|
2015 - Current | Artificial Intelligence Review (1573-7462) | Springer |
2015 - 2021 | Software Testing, Verification and Reliability (STVR) (1099-1689) | Wiley |
2020 - 2020 | Journal of Information Systems Engineering & Management (468-2071) | IEETA |
2019 - 2019 | PeerJ Computer Science (23765992) | Academic editors |
2017 - 2019 | Journal of Software: Evolution and Process, (2047-7481) | Wiley |
2014 - 2019 | Software Quality Journal (0963-9314) | Springer |
2018 - 2018 | IEEE Transactions on Reliability (0018-9529) | IEEE |
2015 - 2015 | Journal of Parallel Emergent Distributed Systems (744-5760) | Taylor & Francis Online |
2015 - 2015 | Journal of Systems and Software (0164-1212) | Elsevier |
2014 - 2014 | Empirical Software Engineering (1573-7616) | Springer |
2014 - 2014 | Journal Software Practice and Experience (1097-024X) | Wiley |
Distinctions
Award
2022 | Teaching Award - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal
|
2020 | Prémio Científico - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal
|
2019 | Most Influential Paper - "A pattern-based approach for GUI modeling and testing" presented in ISSRE 2013 |
2019 | Best Paper Award: "Android Testing Crawler" presented in the 12th International Conference on the Quality of Information and Communications Technology |
2016 | Best paper award: "Software Engineering Management Education through Game Design Patterns", presented in in 2nd International Conference on Higher Education Advances, 2016. |
2011 | Best paper award: "Reverse Engineering of Graphical User Interfaces" presented in the Sixth International Conference on Software Engineering Advances |
2010 | Teaching Award - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal
|
2009 | Teaching Award - FEUP
Universidade do Porto Faculdade de Engenharia, Portugal
|
Other distinction
2014 | Two papers of the QUATIC 2014 conference selected among the best ones to be presented in the Main Track |
2006 | Award to continue and foster the collaboration with Microsoft Research |